Fiasco + L4Linux auf echter Hardware
adam at os.inf.tu-dresden.de
Mon Aug 8 17:26:50 CEST 2005
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
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers