~ehmry/sigil

ref: post-mortem sigil/nixos-modules/eris/rom-vfs.dhall -rw-r--r-- 1.1 KiB
2b1c9d71Emery Hemingway Link the write-up (or write-off) of the project 11 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
let Sigil =
        env:DHALL_SIGIL
      ? https://git.sr.ht/~ehmry/dhall-sigil/blob/trunk/package.dhall

let Init = Sigil.Init

let Child = Init.Child

in  λ(gptGuid : Text) →
    λ(resources : Init.Resources.Type) →
    λ(vfsConfig : Sigil.Prelude.XML.Type) →
    λ(binary : Text) →
      Child.flat
        Child.Attributes::{
        , binary
        , priorityOffset = 2
        , resources
        , config = Init.Config::{
          , content = [ vfsConfig ]
          , policies =
            [ Init.Config.Policy::{
              , service = "File_system"
              , label = Init.LabelSelector.prefix "eris_rom"
              , attributes = toMap { root = "/" }
              }
            , Init.Config.Policy::{
              , service = "File_system"
              , label = Init.LabelSelector.suffix "nix-store"
              , attributes = toMap { root = "/nix/store" }
              }
            ]
          }
        , routes =
          [ { service = Init.Service::{ name = "Block" }
            , route = Init.Route.child "drivers" (Some gptGuid)
            }
          ]
        }