Reboot does not work anymore!

Frank Mehnert fm3 at
Wed Aug 17 15:58:45 CEST 2005

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

  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.

## Dept. of Computer Science, Dresden University of Technology, Germany ##
##                                     ##
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list