mneumann's projects / dragonfly.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed4600b) | patch
vkernel - Add -d option to disable vmm.
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sat, 28 Sep 2013 09:06:44 +0000 (02:06 -0700)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sat, 28 Sep 2013 09:18:18 +0000 (02:18 -0700)
commit959b80b593204f8832cb56c4031d375043fbd4da
tree5e10cd238a2682a2104fcff5f4c114b3dbe22aa1tree | snapshot
parented4600b9727d1b025f440b3a94eac9c62de62002commit | diff
vkernel - Add -d option to disable vmm.

  In some cases we might need to be able to disable vmm per-vkernel.
  Add a command-line option to allow that.
share/man/man7/vkernel.7 diff | blob | blame | history
sys/platform/vkernel/platform/init.c diff | blob | blame | history
sys/platform/vkernel64/platform/init.c diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.