Re: Launching kernel...

"Philipp Kupferschmied" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
> That is all i get when trying to launch pingpong demo.  Does anyone
> have any ideas as to what my problem is?

Perhaps you did not configure the kernel to print its output on screen
instead of the serial port?! This can be changed with 'make menuconfig' in
the kernel build directory (the option can be found somewhere in the
'Debugging'-menu, I think).
As the kernel might (I don't know what the default setting is) enter KDB
before starting PingPong, this could explain why there's also no output of
PingPong.

Philipp
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.