Fwd: Running Fiasco.OC in Bochs

Norman Feske norman.feske at genode-labs.com
Sun Apr 29 20:20:58 CEST 2012

Hi Martin,

> Using your setup, my Bochs instance hung up instead of reporting a
> double fault, but then again, everything worked when I disabled the PCI
> bridge. So maybe
> pci: enabled=0

thanks a lot - your hint was spot-on! With PCI being disabled, the
kernel starts up successfully.

Even though this tweak renders any attempt to use graphics futile (since
our VESA driver scans the PCI bus for the VGA card), the remaining setup
is actually sufficient to pursue the experiments that I had in mind.

Thanks again and good luck with your student research project. :-)


More information about the l4-hackers mailing list