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
l4-hackers@os.inf.tu-dresden.de