Reboot does not work anymore!

[Derick Swanepoel]

Very sorry, this should've gone to the list.

---------- Forwarded message ----------
From: Derick Swanepoel <dswanepoel at gmail.com>
Date: 08-Sep-2005 12:21
Subject: Re: Reboot does not work anymore!
To: Frank Mehnert <fm3 at os.inf.tu-dresden.de>


On 8/17/05, Frank Mehnert <fm3 at os.inf.tu-dresden.de> wrote:
> 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.

Hi,

I'm having the same problem (CVS 20050829). Rebooting does not work
from "run" or from JDB. It gets as far saying:

Return reboots, "k" enters L4 kernel debugger...
Rebooting.

Shutting down...

but then nothing happens. This is on a Pentium 4 machine. Strangely,
however, it works on a Xeon.

For what it's worth, here is the disassembled pc_reset():

013082f0 <pc_reset>:
pc_reset():
../kern/x86/pc/reset.c:30
 13082f0:       55                      push   %ebp
 13082f1:       89 e5                   mov    %esp,%ebp
 13082f3:       53                      push   %ebx
 13082f4:       50                      push   %eax
 13082f5:       bb 63 00 00 00          mov    $0x63,%ebx
../kern/x86/pc/reset.c:34
 13082fa:       a1 ec 05 31 01          mov    0x13105ec,%eax
 13082ff:       66 c7 80 72 04 00 00    movw   $0x1234,0x472(%eax)
 1308306:       34 12
../kern/x86/pc/reset.c:39
 1308308:       83 ec 0c                sub    $0xc,%esp
 130830b:       68 fe 00 00 00          push   $0xfe
 1308310:       e8 1b 00 00 00          call   1308330 <kb_command>
../kern/x86/pc/reset.c:37
 1308315:       83 c4 10                add    $0x10,%esp
 1308318:       4b                      dec    %ebx
 1308319:       79 ed                   jns    1308308 <pc_reset+0x18>
../kern/x86/pc/reset.c:45
 130831b:       0f 01 1d 9e 04 31 01    lidtl  0x131049e
../kern/x86/pc/reset.c:46
 1308322:       cc                      int3
 1308323:       8b 5d fc                mov    0xfffffffc(%ebp),%ebx
 1308326:       c9                      leave
 1308327:       c3                      ret

Thanks,
Derick