Fiasco + L4Linux auf echter Hardware

[Adam Lackorzynski]

On Mon Aug 08, 2005 at 17:20:44 +0200, Marcel Selhorst wrote:
> > Which experimental options need to be enabled in Fiasco and L4Linux?
> > In Fiasco: Exception IPC, Inter task exregs and segment handling.
> 
> OK, I had these already in my kernel, and it still doesn't work.
> I already tested out almost every combination possible within Fiasco, incl. PIC,
> APIC, RTC and compiled it for 586, 686 and P4...

That should not play any role.

> > L4Linux will check if the options are enable and refuse to run
> > otherwise.
> 
> I have attached a serial cable and logged what the kernel debugger says. There is an
> unhandled pagefault. Below you'll find some output of the log.
> 
> l4lx    | Kernel command line (1 args): root=/dev/hda2
> l4lx    | My DMphys is at 07.00
> l4lx    | My region mapper is at 0c.00
> l4lx    | My code starts at 0x003ff000 and ends at 0x007111b8 [3144 KiB].
> l4lx    | Semaphore thread ID: 0c.01
> l4lx    | Areas:
> l4lx    | Text:     003ff000 - 00622000 [2188kB] (a bit longer)
> l4lx    | Data:     00622000 - 0066b300 [292kB]
> l4lx    | Initdata: 0066e000 - 0069a000 [176kB]
> l4lx    | BSS:      0069a008 - 007111b8 [476kB]
> l4lx    | l4lx_thread_create: Created thread 0c.03 (server)
> l4lx    | main thread will be 0c.03
> l4lx    | l4env_register_pointer_section: addr = 3ff000 size = 2736128
> l4lx    | with-init: virt: 0x003ff000 to 0x0069afff [2672 KiB]
> l4lx    | Noncontinuous region for with-init
> l4lx    | l4env_linux_startup thread 3.
> l4lx    | with-init: Number of physical regions: 2, 2736128 Bytes
> l4lx    | with-init: 1: Phys: 0x00bd7000 to 0x00dce000, Size:  6149036
> l4lx    | with-init: 2: Phys: 0x0075b000 to 0x00800000, Size:  6149036
> l4lx    | main thread: received startup message.
> l4lx    | L4RM: [PF] read at 0x00000000, eip 004f00ae, src C.03
> l4lx    | [C.0] l4rm/lib/src/pagefault.c:78:__unknown_pf():
> l4lx    |  unhandled page fault

Just guessing but try adding a 'noreplacement' argument to the kernel
command line.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/