Bug#536537: What to fix in BIOS?

[Kushal Koolwal <kushalkoolwal@hotmail.com>]

I too encountered the same problem on our Intel Atom (Poulsbo chipset) based computer running Debian 5.0. Upon looking at the file reboot.c in the kernel I found that the following two works for me:

reboot=bios
reboot=acpi

Now at this point of time I am not sure if this is a BIOS issue or a kernel issue. 

>How about a fixed bios?Bastian - I do have access to the person who writes the BIOS for this computer. I am not a BIOS expert by
any chance but can you give me some idea/hint as to what should I be asking the BIOS guy to look into in 
order to fix this issue?

Thank you.
Kushal Koolwal

I do blog at http://blogs.koolwal.net/




_________________________________________________________________
Bing™ brings you maps, menus, and reviews organized in one place. Try it now.
http://www.bing.com/search?q=restaurants&form=MLOGEN&publ=WLHMTAG&crea=TXT_MLOGEN_Local_Local_Restaurants_1x1