Dynamically allocate page tables; setup as per MILO.
commitaacb76ca0399404c560bb8ee7bebecf730ac3a3a
authorRichard Henderson <rth@twiddle.net>
Tue, 12 Apr 2011 00:07:22 +0000 (11 17:07 -0700)
committerRichard Henderson <rth@twiddle.net>
Tue, 12 Apr 2011 00:07:22 +0000 (11 17:07 -0700)
treef49c0bfc411255db64f22216caf980d2fce44e59
parent1a82ff3ead8103913b66b7a43303786bd2c349cf
Dynamically allocate page tables; setup as per MILO.
init.c
pal.S