ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

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

This commit is contained in:
Ehmry - 2020-12-08 20:44:40 +01:00
parent 99d43ceba1
commit f8c5eac7b7
3 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
nixos-modules/store-wrapper.dhall
View File

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

2
nixos-modules/systemd-runner.dhall
View File

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

4
packages/dhall/genode.nix
View File

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