root task - debugging kernel

Etienne Robillard granted14 at yahoo.com
Wed May 21 22:09:11 CEST 2003


Hi,

How do we define printf in ia32-v4 ? 
I see there is a print.cc implementation but it won't
be used(?) for the linking stage  even with "#define
CONFIG_KDB y" and or "#define CONFIG_VERSION_X0 1" in
$(OBJ)/config.h... 

Besides, kickstarting from grub (output to screen)
does work until the "Launching kernel stage" ; then it
freezes without warnings :-) 

my menu.lst looks like this :
root (hd0,1,a)
kernel= /boot/ia32-kernel
module=/libexec/l4/kickstart
module= /libexec/l4/sigma0 
module= /libexec/l4/pingpong 

cya 
etienne












=====
iD

______________________________________________________________________ 
Post your free ad now! http://personals.yahoo.ca




More information about the l4-hackers mailing list