Heyang Zhou

This patch adds support for using the kernel ramdisk as read-only block storage. ``` $ qemu-system-x86_64 -enable-kvm -kernel nanos/output/platform/pc/bin/kernel.img \ -smp 2 -m 512 -display none -serial stdio \ -initrd...

It seems to be a heavily locked down Firecracker platform. A few missing parts: - booting from initrd instead of virtio-blk - the "nitro security module" driver (`nsm.ko` on linux)

arch/x86: Support Xen x86/HVM direct boot ABI

1

Adds support for booting the kernel with the Xen x86/HVM direct boot ABI (https://xenbits.xen.org/docs/unstable/misc/pvh.html). This allows seL4 to boot natively within virtualized environments like QEMU: ``` qemu-system-x86_64 -m 512M -kernel...

x86/vcpu: Allow CR0.PE and CR0.PG to be cleared

1

If "Unrestricted Guest" mode is enabled in secondary control, CR0.PE and CR0.PG may be 0.

feat: add config option to enable transparent huge pages

2

## Changes Add a new machine-config field, `enable_thp`, that controls whether transparent huge pages (THP) is enabled for the microVM. ## Reason Currently, even for a VM that is not...