Re: Faster reboots (and a better way of taking crashdumps?)

[Martin J. Bligh]

 1. Are there tables that are created by the BIOS that we 
>> destroy during Linux runtime? mps tables spring to mind - 
>> I can't see where we preserve them ...
> 
> They should be in E820 reserved pages anyway and we do keep them 
> and the EBDA safe. 

Ah, OK. I will have to check the BIOS is doing this correctly,
since I hacked it to move the MPS tables to a different place
(below 8Mb). I should really fix that using a fixmap or something
anyway ...

> You will however have blown away ACPI pages marked as disposable

Pah, ACPI ;-) I don't have ACPI on these machines, but it would
be needed for a more general solution - sounds easy enough to fix 
anyway - we just keep them and mark them reserved during the Linux
ACPI parse, I think.

Thanks,

M.