search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
24 stars 12 forks source link

Hosting a regular Linux distribution #12

Open Ivan-Velickovic opened 1 year ago

Ivan-Velickovic commented 1 year ago

This is an issue to track a somewhat general goal to have the VMM in a state such that it can load and host a guest that is running a typical Linux distribution such as a Ubuntu or Debian (both headless and a GUI). So far all the work surrounding the VMM has been done on a minimal BusyBox system, which is fine for experimenting but it would be impressive (and probably useful for others) to have a full distribution working.

Intermediate steps will probably be something like:

  1. Get headless Ubuntu/Debian running on QEMU
  2. Get headless Ubuntu/Debian running on a hardware platform
  3. Get graphical Ubuntu/Debian running on QEMU
  4. Get graphical Ubuntu/Debian running on a hardware platform.

Once we have all of that working, we can then moving on to doing it efficiently.

wom-bat commented 4 months ago

This is now done in the LionsOS vmm-examples example for Odroid C4.

Ivan-Velickovic commented 4 months ago

Ideally it would work on QEMU so others can use it.

Ivan-Velickovic commented 4 months ago

We can close the issue once that is done.