Very sorry, this should've gone to the list.
---------- Forwarded message ---------- From: Derick Swanepoel dswanepoel@gmail.com Date: 08-Sep-2005 12:21 Subject: Re: Reboot does not work anymore! To: Frank Mehnert fm3@os.inf.tu-dresden.de
On 8/17/05, Frank Mehnert fm3@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
On Thu, 8 Sep 2005 12:30:38 +0200 Derick Swanepoel (DS) wrote:
DS> I'm having the same problem (CVS 20050829). Rebooting does not work DS> from "run" or from JDB. It gets as far saying: DS> DS> Return reboots, "k" enters L4 kernel debugger... DS> Rebooting. DS> DS> Shutting down... DS> DS> but then nothing happens. This is on a Pentium 4 machine. Strangely, DS> however, it works on a Xeon.
Can you check out a version of Fiasco dated Sep 1, 2005 or later and check if that version allows you to reboot from inside JDB on the P4 machine?
-Udo.
l4-hackers@os.inf.tu-dresden.de