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.
Cheers Norman
l4-hackers@os.inf.tu-dresden.de