diff options
Diffstat (limited to 'doc/tutorial/disk_image.rst')
-rw-r--r-- | doc/tutorial/disk_image.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/tutorial/disk_image.rst b/doc/tutorial/disk_image.rst index cf22cd3..d4b7a20 100644 --- a/doc/tutorial/disk_image.rst +++ b/doc/tutorial/disk_image.rst @@ -15,6 +15,7 @@ Here is a minimal definition of the host for which we can build a disk image::: (os:debian-stable "bullseye" :amd64) (disk:has-volumes (physical-disk + :device-file #P"/dev/sda" :boots-with '(grub:grub :target "x86_64-efi" :force-extra-removable t) (partitioned-volume ((partition |