Tomas Kalibera wrote:
> I added a missing underscore and re-tried, and none of the debug
> messages was printed. I added another one to make sure that there is not
> a problem with getting printk messages to the serial console. The
> resulting highmem_32.c and the output is attached.
The interesting part of the output is the printk which occurs right
before the first bug, what happens afterwards is of little use. Do you
get any output before the first bug ?
Xenomai-core mailing list