diff --git a/nixos/doc/manual/from_md/installation/installing-virtualbox-guest.section.xml b/nixos/doc/manual/from_md/installation/installing-virtualbox-guest.section.xml
new file mode 100644
index 000000000000..c8bb286c8f33
--- /dev/null
+++ b/nixos/doc/manual/from_md/installation/installing-virtualbox-guest.section.xml
@@ -0,0 +1,92 @@
+
+ Installing in a VirtualBox guest
+
+ Installing NixOS into a VirtualBox guest is convenient for users who
+ want to try NixOS without installing it on bare metal. If you want
+ to use a pre-made VirtualBox appliance, it is available at
+ the
+ downloads page. If you want to set up a VirtualBox guest
+ manually, follow these instructions:
+
+
+
+
+ Add a New Machine in VirtualBox with OS Type "Linux / Other
+ Linux"
+
+
+
+
+ Base Memory Size: 768 MB or higher.
+
+
+
+
+ New Hard Disk of 8 GB or higher.
+
+
+
+
+ Mount the CD-ROM with the NixOS ISO (by clicking on CD/DVD-ROM)
+
+
+
+
+ Click on Settings / System / Processor and enable PAE/NX
+
+
+
+
+ Click on Settings / System / Acceleration and enable
+ "VT-x/AMD-V" acceleration
+
+
+
+
+ Click on Settings / Display / Screen and select VMSVGA as
+ Graphics Controller
+
+
+
+
+ Save the settings, start the virtual machine, and continue
+ installation like normal
+
+
+
+
+ There are a few modifications you should make in configuration.nix.
+ Enable booting:
+
+
+boot.loader.grub.device = "/dev/sda";
+
+
+ Also remove the fsck that runs at startup. It will always fail to
+ run, stopping your boot until you press *.
+
+
+boot.initrd.checkJournalingFS = false;
+
+
+ Shared folders can be given a name and a path in the host system in
+ the VirtualBox settings (Machine / Settings / Shared Folders, then
+ click on the "Add" icon). Add the following to the
+ /etc/nixos/configuration.nix to auto-mount them.
+ If you do not add "nofail", the system
+ will not boot properly.
+
+
+{ config, pkgs, ...} :
+{
+ fileSystems."/virtualboxshare" = {
+ fsType = "vboxsf";
+ device = "nameofthesharedfolder";
+ options = [ "rw" "nofail" ];
+ };
+}
+
+
+ The folder will be available directly under the root directory.
+
+
diff --git a/nixos/doc/manual/installation/installing-virtualbox-guest.section.md b/nixos/doc/manual/installation/installing-virtualbox-guest.section.md
new file mode 100644
index 000000000000..e9c2a621c1bb
--- /dev/null
+++ b/nixos/doc/manual/installation/installing-virtualbox-guest.section.md
@@ -0,0 +1,59 @@
+# Installing in a VirtualBox guest {#sec-instaling-virtualbox-guest}
+
+Installing NixOS into a VirtualBox guest is convenient for users who
+want to try NixOS without installing it on bare metal. If you want to
+use a pre-made VirtualBox appliance, it is available at [the downloads
+page](https://nixos.org/nixos/download.html). If you want to set up a
+VirtualBox guest manually, follow these instructions:
+
+1. Add a New Machine in VirtualBox with OS Type \"Linux / Other Linux\"
+
+1. Base Memory Size: 768 MB or higher.
+
+1. New Hard Disk of 8 GB or higher.
+
+1. Mount the CD-ROM with the NixOS ISO (by clicking on CD/DVD-ROM)
+
+1. Click on Settings / System / Processor and enable PAE/NX
+
+1. Click on Settings / System / Acceleration and enable \"VT-x/AMD-V\"
+ acceleration
+
+1. Click on Settings / Display / Screen and select VMSVGA as Graphics
+ Controller
+
+1. Save the settings, start the virtual machine, and continue
+ installation like normal
+
+There are a few modifications you should make in configuration.nix.
+Enable booting:
+
+```nix
+boot.loader.grub.device = "/dev/sda";
+```
+
+Also remove the fsck that runs at startup. It will always fail to run,
+stopping your boot until you press `*`.
+
+```nix
+boot.initrd.checkJournalingFS = false;
+```
+
+Shared folders can be given a name and a path in the host system in the
+VirtualBox settings (Machine / Settings / Shared Folders, then click on
+the \"Add\" icon). Add the following to the
+`/etc/nixos/configuration.nix` to auto-mount them. If you do not add
+`"nofail"`, the system will not boot properly.
+
+```nix
+{ config, pkgs, ...} :
+{
+ fileSystems."/virtualboxshare" = {
+ fsType = "vboxsf";
+ device = "nameofthesharedfolder";
+ options = [ "rw" "nofail" ];
+ };
+}
+```
+
+The folder will be available directly under the root directory.
diff --git a/nixos/doc/manual/installation/installing-virtualbox-guest.xml b/nixos/doc/manual/installation/installing-virtualbox-guest.xml
deleted file mode 100644
index 019e5098a8e2..000000000000
--- a/nixos/doc/manual/installation/installing-virtualbox-guest.xml
+++ /dev/null
@@ -1,103 +0,0 @@
-
- Installing in a VirtualBox guest
-
-
- Installing NixOS into a VirtualBox guest is convenient for users who want to
- try NixOS without installing it on bare metal. If you want to use a pre-made
- VirtualBox appliance, it is available at
- the downloads
- page. If you want to set up a VirtualBox guest manually, follow these
- instructions:
-
-
-
-
-
- Add a New Machine in VirtualBox with OS Type "Linux / Other Linux"
-
-
-
-
- Base Memory Size: 768 MB or higher.
-
-
-
-
- New Hard Disk of 8 GB or higher.
-
-
-
-
- Mount the CD-ROM with the NixOS ISO (by clicking on CD/DVD-ROM)
-
-
-
-
- Click on Settings / System / Processor and enable PAE/NX
-
-
-
-
- Click on Settings / System / Acceleration and enable "VT-x/AMD-V"
- acceleration
-
-
-
-
- Click on Settings / Display / Screen and select VMSVGA as Graphics Controller
-
-
-
-
- Save the settings, start the virtual machine, and continue installation
- like normal
-
-
-
-
-
- There are a few modifications you should make in configuration.nix. Enable
- booting:
-
-
-
- = "/dev/sda";
-
-
-
- Also remove the fsck that runs at startup. It will always fail to run,
- stopping your boot until you press *.
-
-
-
- = false;
-
-
-
- Shared folders can be given a name and a path in the host system in the
- VirtualBox settings (Machine / Settings / Shared Folders, then click on the
- "Add" icon). Add the following to the
- /etc/nixos/configuration.nix to auto-mount them. If you do
- not add "nofail", the system will not boot properly.
-
-
-
-{ config, pkgs, ...} :
-{
- fileSystems."/virtualboxshare" = {
- fsType = "vboxsf";
- device = "nameofthesharedfolder";
- options = [ "rw" "nofail" ];
- };
-}
-
-
-
- The folder will be available directly under the root directory.
-
-
diff --git a/nixos/doc/manual/installation/installing.xml b/nixos/doc/manual/installation/installing.xml
index 6bfe9ebcad67..55375469447f 100644
--- a/nixos/doc/manual/installation/installing.xml
+++ b/nixos/doc/manual/installation/installing.xml
@@ -570,7 +570,7 @@ Retype new UNIX password: ***
-
+