Christopher Guikema

@andybui01 glad to see someone else has worked on this and released a version for the community! I noticed you mentioned DornerWorks in the PR, and you're right that we...

@andybui01 can you explain the non-deterministic behavior you're seeing with the lapic timer? I pulled this into a code base that is running real-time Linux, and the timer seemed to...

I looked into this a bit, and on my boot, Linux is switching to oneshot mode, and the time server is never set to trigger an event.

@andybui01 quick question - where was the reference for the lapic timer? KVM?

The translation vspace used to exist before the ARM and x86 libraries were merged. We had to re-implement it in order for multicore x86 guests to be functional. Then when...

This isn't perfect, and requires a change in `camkes-vm` to set the path and pointers. It could also use a check to handle address-cells and size-cells properly. I just wanted...

Test with: https://github.com/seL4/camkes-vm/pull/52

Thanks for the comments, Kent. This was something that I just put together based on the comments on using the GIC path to find the phandle. Basically, its more of...

> Also, how is this expected to work with guests that don't use an FDT but want to use virtual devices that do use an fdt? Doesn't the kernel pass...

I'm going to mark this as a draft, since like Kent mentioned, in order to do this, you need access to the FDT in the libraries, which is a bigger...