Re: Pagefault in StringItem IPC
BERTRAND Joel <[email protected]> Fri, 03 Dec 2010 18:43:35 +0100
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Jan Stoess a écrit : > Could it be that the string you're trying to send is not mapped? That the UIP is at the ipc entry doesn't mean that the pagefault has occurred there. FYI, L4 has two tracing tools that to print out what's going on in the kernel and which kernel events and operations have been invoked. They're called tracebuffer (kdb menu 'y'), which is a log of kernel events and tracepoints (kdb menu 'r'); you have to enable them in the config menu. Nope. I have forgotten that I have to call L4_Init... :-( Regards, JKB