Comment by saosebastiao

How is the rump kernel any different than a unikernel?