Hi Jeremiah, According to your output, the kernel doesn't finish booting and crashes before user-mode is entered. I am unable to replicate the error that you are experiencing unfortunately. It is likely that the issue is being caused by different host tooling than what we use. Here are some options about what you could try: - Building and running dynamic-1 using the docker image we use for testing the apps: trustworthysystems/camkes. We use this to run the integration tests for the tutorials currently. - Building and running sel4test to see if the crash is related to the tutorials project, or to the kernel binary artifact that your setup is producing. - Making either a copy of your VM, or the images it produces (dynamic-1-image-x86_64-pc99 and kernel-x86_64-pc99, found in dynamic-1_build/images/) available for download to make it easier for me to reproduce the problem. Regards, Kent