On 01/06/17 17:35, Leslie Zhai wrote:
Hi L4 hackers,This does not look like a page fault in fbdrv. If the system boots up correctly the boot sequence looks like follows:
> and it built ok. Now when it runs fbdrv page faults. Has anyone seen this before?
The same story: page fault https://pbs.twimg.com/media/DBPuT-sUMAAuhvU.png
MOE: virtual user address space [0-7fffffffffff]In your boot sequence the last line is the hello message from ned. So it looks like ned is dereferencing a null pointer (read access to 0 + 0x18 at instruction pointer 0x102d72a). Maybe you could use addr2line/objdump to figure out, what happens at address 0x102d72a in ned.
MOE: rom name space cap -> [C:103000]
BOOTFS: [17d7000-17d76e8] [C:105000] x86-fb.cfg
BOOTFS: [17d8000-19d0040] [C:107000] l4re
BOOTFS: [19d1000-1dbd478] [C:109000] ned
...
BOOTFS: [3e68000-40f5568] [C:115000] ex_fb_spectrum_cc
MOE: cmdline: /home/.../build/tmp/l4re/bin/amd64_K8/l4f/moe rom/x86-fb.cfg
MOE: Starting: rom/ned rom/x86-fb.cfg
MOE: loading 'rom/ned'
Ned says: Hi World!
Ned: loading file: 'rom/x86-fb.cfg'
IO | Io service