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 a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers