~ehmry/dhall-genode

031fb4ef77dc8a2dbe71fd806129b4eacfe0606a — Emery Hemingway 7 months ago 77191aa
Add constrainPhys to Init/Start/Type
2 files changed, 7 insertions(+), 5 deletions(-)

M Init/Start/Type
M Init/Start/defaults
M Init/Start/Type => Init/Start/Type +3 -2
@@ 5,10 5,11 @@ let Resources/Type = ./../../Resources/Type
let ServiceRoute/Type = ./../../ServiceRoute/Type

in    { binary : Text
      , config : Prelude.XML.Type
      , constrainPhys : Bool
      , exitPropagate : Bool
      , provides : List Text
      , resources : Resources/Type
      , exitPropagate : Bool
      , config : Prelude.XML.Type
      , routes : List ServiceRoute/Type
      }
    : Type

M Init/Start/defaults => Init/Start/defaults +4 -3
@@ 4,9 4,10 @@ let ServiceRoute = ./../../ServiceRoute/package.dhall

let units = ./../../units.dhall

in  { exitPropagate = False
    , routes = [] : List ServiceRoute.Type
in  { config = Prelude.XML.text "<config/>"
    , constrainPhys = False
    , exitPropagate = False
    , provides = [] : List Text
    , resources = { caps = 128, ram = units.MiB 1 }
    , config = Prelude.XML.text "<config/>"
    , routes = [] : List ServiceRoute.Type
    }