4 ms·

MirageOS does not link to the NetBSD rump kernel. It is a standalone unikernel.

• angrygoat 7y ago
  Thanks for the correction :)