From d684183b6ba62f6924fc4fe27c288622327f2e47 Mon Sep 17 00:00:00 2001
From: Marc Beninca <marc-beninca@rwx.work>
Date: Sun, 14 Jul 2019 09:07:55 +0200
Subject: [PATCH] biosdisk

---
 in/private/server/index.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/in/private/server/index.rst b/in/private/server/index.rst
index 4d14797..710569e 100644
--- a/in/private/server/index.rst
+++ b/in/private/server/index.rst
@@ -62,6 +62,7 @@ Prepare a grub.cfg
 
 .. code:: shell
 
+ insmod biosdisk
  insmod part_gpt
  insmod mdraid1x
  insmod ext2
@@ -99,6 +100,7 @@ Prepare a grub.cfg
  --fonts "" \
  --locales "" \
  --install-modules "\
+ biosdisk \
  part_gpt \
  mdraid1x \
  ext2 \