--- src/replicant.ads	2019-01-30 15:42:12.000000000 +0100
+++ src/replicant.ads	2020-03-04 18:25:03.431349000 +0100
@@ -125,6 +125,7 @@
    root_boot_fw     : constant String := "/boot/firmware";
    root_kmodules    : constant String := "/boot/modules";
    root_lmodules    : constant String := "/boot/modules.local";
+   root_boot_opt    : constant String := "/boot/opt";
    root_root        : constant String := "/root";
    root_proc        : constant String := "/proc";
    root_linux       : constant String := "/compat/linux";