Fwd: Running Fiasco.OC in Bochs

Martin Unzner munzner at os.inf.tu-dresden.de
Sun Apr 29 17:31:56 CEST 2012

Hi Norman,

Björn told me about your problem because I write my Belegarbeit using a 
Framework which includes Bochs. I was not able to reproduce your exact 
error, but since I have experienced faults at the same stage of booting 
when I started with Bochs, my workaround might at least be worth a try.

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

in bochsrc or even omitting the --enable-pci parameter while configuring 
might help in your case. In general, I experienced that compiling Bochs 
with less configuration parameters usually produces a better emulator.



Am 29.04.2012 08:36, schrieb Björn Döbel:
> Hi,
> Kannst Du dem Norman helfen?
> Björn
> -------- Original-Nachricht --------
> Betreff: Running Fiasco.OC in Bochs
> Datum: Sat, 28 Apr 2012 21:14:37 +0200
> Von: Norman Feske<norman.feske at genode-labs.com>
> An: l4-hackers at os.inf.tu-dresden.de
> Hello,
> for tracing/profiling purposes, I'd like to run Genode on Fiasco.OC in
> Bochs. My prior attempts with the OKL4 and Pistachio kernels went fine.
> However, when booting the setup with Fiasco.OC, I get the following
> kernel message right at the start:
>    Freeing init code/data: 28672 bytes (7 pages)
>    EAX=ec7ff000  ESI=00000000  DS=0023
>    EBX=fcdcf000  EDI=fcdcf170  ES=0023
>    ECX=ec7ff000  EBP=f0060100  GS=0043
>    EDX=ec7ff000  ESP=fcdcffbc  SS=0010   ESP0=00000000
>    EFL=00200246  EIP=f006592c  CS=0008
>    Return reboots, "k" tries to enter the L4 kernel debugger...
> Has anyone successfully used Fiasco.OC with Bochs before? If yes, I
> would very much appreciate a known-good starting point for experimentation.
> For reference, I am using the following kernel configuration:
> https://raw.github.com/genodelabs/genode/master/base-foc/config/x86_32.kernel
> My 'bochsrc' file looks as follows:
>    display_library: x
>    romimage: file=/usr/local/share/bochs/BIOS-bochs-latest
>    megs: 128
>    com1: enabled=1, mode=file, dev=serial.out
>    boot: cdrom
>    ata0-master: type=cdrom, path=var/run/demo.iso, status=inserted
>    mouse: enabled=1, type=imps2
>    log: ./bochs.out
>    panic: action=fatal
>    vgaromimage: file=/usr/local/share/bochs/VGABIOS-lgpl-latest
>    vga: extension=vbe
>    pci: enabled=1, chipset=i440fx, slot1=pcivga
> The Bochs version is the official release 2.5.1 configured with the
> following arguments:
>    --with-x11 --enable-plugins --enable-pci --enable-clgd54xx
> Regards
> Norman

More information about the l4-hackers mailing list