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. :-) Cheers Norman _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers