* Apply fix by Peter Daum <gator@cs.tu-berlin.de>, making sure
to use the normalized path for unmounting. Thanks!
* Use multiboot for booting MirOS BSD when using grub2.
* Apply fix by Peter Daum <gator@cs.tu-berlin.de>, making sure
to use the normalized path for unmounting. Thanks!
* Use multiboot for booting MirOS BSD when using grub2.