Running Fiasco.OC in Bochs

Norman Feske norman.feske at
Tue May 1 15:06:48 CEST 2012

Hello Julius,

> I am successfully running Fiasco.OC on Bochs (2.4.6) with PCI emulation
> enabled (although all my slots are empty). I had encountered the same
> double fault issue and discovered that I could work around it by
> configuring Fiasco to use RTC scheduling (instead of PIT). APIC seems to
> work fine, too.

thank you for this excellent suggestion! By using RTC as scheduling
timer and re-enabling PCI, I was able to bring the whole scenario
(including the GUI) to life.


More information about the l4-hackers mailing list