ParentFull threadreachableceo·I believe the term you are looking for is unikernel, not micro kernel.View on HN