Christopher Guikema

I'm sorry, but I'm not too familiar with the BKL. Can you send me a diff of what you're thinking? I can't get it to work.

Alright, I applied that patch, and I'm getting the same behavior. Each VM is stuck in the syscall instruction.

What if in the `handleVmexit` function, if the state is `Running`, we just keep the notification state to active? Then when the VM attempts to enter its VM state, it...

Okay, so that kind of ended up working. My final solution was to add a case where we handle both a fault and a notification, and then keep the notification...

> Just to double-check, though, since this is in non-verified code: is the rest of the kernel code fine with a half-precision FPU? From what I remember, we successfully ran...

Alright, I've addressed Axel's comment

Yeah no problem.

One of the engineers at DornerWorks developed performance monitoring tools building off the existing tools provided by the kernel. Part of that was tracking CAmkES thread utilization, and that menuconfig...

@axel-h @abrandnewusername @kent-mcleod Hey guys, just wanted to ping on this PR. This series of PRs makes it so that when the VM kicks off a secondary core, the VMM...

FWIW, I really like this update. However, on x86 based system with DMA, you need to map with 4k pages, since the IOMMU/IOSpace support in the kernel doesn't support 2M...