Debug the VMM

[sid-agrawal]

Details of the effort so far are on the wiki This is linked to

• 28

[sid-agrawal]

One thing to do would be to boot a very simple image as a VM in CellulOS. Something like this:

git clone git@github.com:achreto/arm-fastmodels-boot.git
git fetch && git checkout qemu
make run_qemu

[sid-agrawal]

This might be relevant if we are running into device tree issues:

• [Device Tree for Dummies (elinux.org)](https://elinux.org/images/f/f9/Petazzoni-device-tree-dummies_0.pdf)
• [A Symphony of Flavours: Using the device tree to describe embedded hardware](http://landley.net/kdocs/ols/2008/ols2008v2-pages-27-38.pdf)

Then these:

Device Tree - Wiki - Open Source Software and Platforms - Arm Community

[DeviceTree](https://www.devicetree.org/)

[sid-agrawal]

Further on, if we want to make hypercalls from the guestOS to seL4, we can use this example:

• https://docs.sel4.systems/Tutorials/camkes-vm-linux.html#exercises