Hello everyone,
There is a new release of Microkit, version 2.0.0.
This release contains various bug fixes, quality-of-life changes, features, and
new board support.
This is a major version bump due to a breaking change. Below the release notes,
there
is a section on how to upgrade from Microk
Hi Julia
>From the perspective of libvmm there are only two hash defines for some
>board-specific
information that would be needed to get libvmm working.
However, getting a Linux VM or something is more involved as it involves
modifying one
of the examples (e.g the simple example) which means f
Hello! Not sure if you're still working on this but I'm also running seL4 bare
metal on x86-64. My first recommendation which helped me a lot is to try to get
it to run on qemu using your disk image rather than using the ./simulate script
(I'm assuming you're currently flashing the image to a us
Hello,
I am currently working on a project aimed at exploring the capabilities of the
seL4 microkernel and Microkit. For this purpose, I have chosen the Raspberry Pi
4B board.
I noticed that libvmm is not yet supported for this platform. Do you have an
estimate on when Raspberry Pi 4B might be
