On Mon Aug 25, 2014 at 13:04:25 +, 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 = 03f2 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