[ilurk]

Can anyone tell what are the differences between a TinyCoreLinux image and a Rumpkernel, and the practical implications of those differences?

[justincormack]

TinyCoreLinux is just a small Linux distro. A rump kernel is a unikernel reusing netbsd code, running in a single address space.