Running Fiasco.OC in Bochs

[Norman Feske]

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)

  DOUBLE FAULT!
  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

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth