dhall-genode: update to nomalize <provides> with policies

This commit is contained in:
Emery Hemingway 2020-12-08 20:44:40 +01:00
parent 7c3504d2d6
commit 02d744c76a
3 changed files with 10 additions and 8 deletions

View File

@ -34,7 +34,6 @@ in λ ( params
( Child.flat
Child.Attributes::{
, binary = "timer_drv"
, provides = [ "Timer" ]
, config = Init.Config::{
, policies =
[ Init.Config.Policy::{
@ -50,8 +49,15 @@ in λ ( params
( Child.flat
Child.Attributes::{
, binary = "rtc_drv"
, provides = [ "Rtc" ]
, routes = [ Init.ServiceRoute.parent "IO_PORT" ]
, config = Init.Config::{
, policies =
[ Init.Config.Policy::{
, service = "Rtc"
, label = Init.LabelSelector.none
}
]
}
}
)
, child
@ -59,7 +65,6 @@ in λ ( params
( Child.flat
Child.Attributes::{
, binary = "jitter_sponge"
, provides = [ "Terminal" ]
, config = Init.Config::{
, policies =
[ Init.Config.Policy::{
@ -75,7 +80,6 @@ in λ ( params
( Child.flat
Child.Attributes::{
, binary = "cached_fs_rom"
, provides = [ "ROM" ]
, resources = Init.Resources::{
, ram = params.storeSize + Genode.units.MiB 1
}

View File

@ -46,7 +46,6 @@ in λ ( params
Child.Attributes::{
, binary = "vfs"
, exitPropagate = True
, provides = [ "File_system" ]
, resources = Genode.Init.Resources::{
, caps = 256
, ram = Genode.units.MiB 8
@ -113,7 +112,6 @@ in λ ( params
Child.flat
Child.Attributes::{
, binary = "cached_fs_rom"
, provides = [ "ROM" ]
, resources = Genode.Init.Resources::{
, ram = Genode.units.MiB 32
}

View File

@ -4,8 +4,8 @@ dhallPackages.buildDhallDirectoryPackage {
name = "dhall-genode";
src = fetchgit {
url = "https://git.sr.ht/~ehmry/dhall-genode";
rev = "01b99d53f597cac40c6b4761d6dd750fc89f63da";
sha256 = "1df4plhr72rhva9rdphlyq244j0rmldkpa7bj6mjzwarisdxw9vv";
rev = "0ad5fee8090267e674cff4418adf462d6445e786";
sha256 = "1626wnj24zjs4j48wyb5qsk33dvk0zxa6ac8q3i1q3zla9rhr63j";
};
dependencies = [ dhallPackages.Prelude ];
}