~ehmry/genodepkgs#6: 
Ship Dhall configuration types or functions with packages

Genode native packages should come with Dhall functions for generating configurations.

Need to define a format for how this is done. Maybe something like

let Genode = env:DHALL_GENODE
let ConfigType = { x : Natural, y : Natural }
in
{
, Type = ConfigType
, toInitConfig : ConfigType -> Genode.Init.Config.Type = TODO
}
Status
REPORTED
Submitter
~ehmry
Assigned to
No-one
Submitted
9 months ago
Updated
9 months ago
Labels
No labels applied.