Fiasco, L4Re, L4linux for Pentium 5

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Aug 28 00:30:28 CEST 2014


On Mon Aug 25, 2014 at 13:04:25 +0000, Masti  Ramya Jayaram wrote:
> I am trying to run L4linux on top of fiasco/L4re using an older version from the svn (for those interested, I am trying to run this on Intel SCC and therefore need an old build).  I am first trying to run this on qemu and can get the entire linux to boot and display a shell prompt. However, I get a pagefault on trying to enter a character on the shell prompt as below:
> 
> 
> ...........
> Switching to clocksource tsc
> VFS: Mounted root (ext2 filesystem) on device 1:0.
> Doing post...
> Freeing unused kernel memory: 164k freed
> # l4linux | cpu0: utcb=0xb3000600 416
> l4linux | l4lx_thread_create: Created thread 423 (idler0) (u:b3000c00, sp:006a1ff8)
> 
> l4linux | Page fault: addr = 000003f2 pc = 004f34dc (rw)
> l4linux | Page fault (non-resolved): pfa=3f2 pc=4f34dc
> ...........
> 
> I can verify that the first character typed at the prompt reaches the fiasco kernel (because I can echo it). I am not sure how exactly this (tries to) reach L4linux from there on.
> 
> Note that I have VGA and keyboards disabled and I am trying to use only the serial line for input and output. Has anyone had similar problems before? Any help on how to proceed would be great!

We need to know what's there at 0x4f34dc. Could you run "disassemble
0x4f34dc" in "gdb vmlinux". (It is good to have CONFIG_DEBUG_INFO
enabled in L4Linux for that.)



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



More information about the l4-hackers mailing list