last minute fix for gnumach

[Marcus Brinkmann]

Hi Roland,

I have a last minute item for gnumach, if it still can be done.

bogus/power_save.h should set POWER_SAVE to 1
and somewhere we need to add machine_idle, like this for i386:

assert (cpu == mycpu);
asm volatile ("hlt" : : : "memory");

(see kern/sched_prim.c:idle_thread_continue)

If it is too late, no problem.  but it helps laptop users to not heat up the
cpu and waste the battery power.

This was reported by
Harald Laabs address@hidden

Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org address@hidden
Marcus Brinkmann              GNU    http://www.gnu.org    address@hidden
address@hidden
http://www.marcus-brinkmann.de