64-bit vkernel
Jordan Gordeev
jgordeev at dir.bg
Sat Feb 13 06:37:52 PST 2010
The code for the 64-bit vkernel is now available from my leaf repo
(git://leaf.dragonflybsd.org/~smtms/dragonfly.git), branch 'vkernel2'.
It works pretty ok.
I'm leaving it to you guys to do the integration work.
The pmap code should be reviewed by Matt.
As this is the end of my involvement with DragonFly, I'm listing a few
things from my to do list here, in the hope that they'll be taken care of:
- see how well OFF_TO_IDX() works for pc64 kernel addresses
- when the pc64 kernel handles a trap or a syscall, it creates a
'struct trapframe' on the stack. Check to see if the stack is properly
aligned, as required by the AMD64 ABI, when we call trap() or syscall2().
- make sure that addresses not in canonical address form are handled
correctly for user processes under the 64-bit vkernel and for the 64-bit
vkernel itself.
- the way 'nkpt' is used in pmap_growkernel() in the 64-bit vkernel is
wrong. Fix it.
Farewell!
More information about the Kernel
mailing list