Browse Source

Remove fs_report test

Nix flake check should always succeed for the master checkout, but this
test was always broken.
20.02
Emery Hemingway 2 years ago
parent
commit
23193460fa
  1. 1
      tests/default.nix
  2. 93
      tests/fs_report.dhall
  3. 15
      tests/fs_report.nix

1
tests/default.nix

@ -3,7 +3,6 @@
let
tests = call:
{
fs_report = call ./fs_report.nix { };
log = call ./log.nix { };
signal = call ./signal.nix { };
} // call ./solo5 { };

93
tests/fs_report.dhall

@ -1,93 +0,0 @@
-- SPDX-License-Identifier: CC0-1.0
let Genode = env:DHALL_GENODE
in { config =
Genode.Init::{
, verbose = True
, children =
toMap
{ ram_fs =
Genode.Init.Start::{
, binary = "ram_fs"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "File_system" ]
, config =
Some
( Genode.Prelude.XML.text
''
<config>
<content>
<dir name="test-fs_report">
<inline name="devices">
<devices version="initial"/>
</inline>
</dir>
</content>
<policy label_prefix="fs_report -> " root="/" writeable="yes"/>
<policy label_prefix="fs_rom -> " root="/test-fs_report"/>
<policy label_prefix="test-fs_report -> " root="/test-fs_report" writeable="yes"/>
</config>
''
)
}
, fs_report =
Genode.Init.Start::{
, binary = "fs_report"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "Report" ]
, routes =
[ Genode.ServiceRoute.child "File_system" "ram_fs" ]
, config =
Some
( Genode.Prelude.XML.text
"<config> <vfs> <fs/> </vfs> </config>"
)
}
, fs_rom =
Genode.Init.Start::{
, binary = "fs_rom"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "ROM" ]
, routes =
[ Genode.ServiceRoute.child "File_system" "ram_fs" ]
}
, test-fs_report =
Genode.Init.Start::{
, binary = "test-fs_report"
, exitPropagate = True
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "Report" ]
, config =
Some
( Genode.Prelude.XML.text
"<config> <vfs> <fs/> </vfs> </config>"
)
, routes =
[ Genode.ServiceRoute.childLabel
"ROM"
"fs_rom"
(Some "devices")
(None Text)
, Genode.ServiceRoute.childLabel
"ROM"
"fs_rom"
(Some "focus")
(None Text)
, Genode.ServiceRoute.child "Report" "fs_report"
, Genode.ServiceRoute.parent "Timer"
]
}
}
}
, rom =
let manifest = env:MANIFEST
in Genode.Boot.toRomPaths
[ manifest.os.bin.fs_report
, manifest.os.bin.fs_rom
, manifest.os.bin.ram_fs
, manifest.os.bin.test-fs_report
, manifest.os.lib.vfs
]
}

15
tests/fs_report.nix

@ -1,15 +0,0 @@
# SPDX-License-Identifier: CC0-1.0
{ testEnv, pkgs, ... }:
with pkgs;
testEnv.mkTest {
name = "fs_report";
meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ];
testConfig = ./fs_report.dhall;
testScript = ''
run_genode_until {child "test-fs_report" exited with exit value 0} 15
'';
}
Loading…
Cancel
Save