Using bochs

Ramooflax runs under Bochs 2.4.6 since it supports VMX+EPT+Unrestricted Guest features.

Look at the bochs documentation to properly configure/compile the bochs binary.

A classical configuration file using BIOS-bochs-latest and VGABIOS-lgpl-latest works perfectly. Simply configure a floppy disk image this way:

floppya: type=1_44, 1_44=ramooflax.img, status=inserted

The image must be bootable with GRUB (legacy). Here is an example configuration menu:

default 0
timeout 0

title Ramooflax 
root (fd0)
kernel /loader.bin
module /setup.bin
module /vmm.bin pool=2000

Notice the pool parameter. Bochs BIOS maps MTRR for a wide physical addresses range, thus Ramooflax needs enough memory to properly setup the EPT entries. Maybe one can modify bochs CPU maximum physical address supported to reduce the pool size.

Remember to configure bochs to boot on HDD first and hit F12 on bochs startup to select floppy. This way BIOS settings will not be altered and Ramooflax will boot the HDD.