On Wednesday 17 August 2005 15:48, Leon Brits wrote:

...

Should not does any matter. But how do you set the video mode, via GRUB vbeset of via --vbemode parameter of l4con?

grub

Hmm. Very strange. When you reboot via the l4con console you most probably mean the pkg/loader/example/run program. Could you please disassemble that binary objdump -ld loader/example/run/OBJ-x86_586-l4v2/run | less and search for pc_reset, right? That function should come from oskit10 and we did not change anything there. Frank -- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## http://os.inf.tu-dresden.de/~fm3 ##