Here is a version that compiles. It doesn't *boot* yet, because the switchover from dynamic mode to the real pagetables doesn't happen right and so we end up on an uninitialized set of page tables. The new page table setup in tip:x86/mm2 should make that easier to achieve, however... I won't have time to test this out tonight, though. -hpa