DragonFly kernel List (threaded) for 2010-03
Re: Port DragonFly to Xen platform
:Sylvestre Gallon wrote:
:> I have fun with an hobbyist os that I have created - named pigeon
:> mouette BSD (www.pmbsd.org) - and have already taken a look at the Xen
:> interfaces and at how it works (hypercalls, etc ...). My plan would be
:> to port my existing work on Xen soon (but I will do it later if you
:> accept me porting dragonfly on XEN :) )
:Another thing of note - which doesn't seem to be on the project page..
:and probably should - and probably wouldn't be so difficult, but still
:Unless I am mistaken the VKERNEL needs to be ported to support 64 bits.
:VKERNEL is used quite a bit for development so this would be a big help
:to everyone working on the 64 bit port I'm sure.
Jordan finished the vkernel64 port and Sascha merged it into the
tree. It will be pushed out today after I run a few more tests.
The vkernel64 will only run under a 64-bit DragonFly kernel,