52 lines
1.4 KiB
Nix
52 lines
1.4 KiB
Nix
{ self, localSystem, legacyPackages }:
|
|
|
|
import "${self.inputs.nixpkgs}/nixos/tests/make-test-python.nix"
|
|
({ pkgs, ... }: {
|
|
name = "genode-guest";
|
|
# meta.maintainers = [ pkgs.lib.maintainers.ehmry ];
|
|
|
|
machine = {
|
|
imports = [
|
|
self.nixosModules.genodeGuests
|
|
"${self.inputs.nixpkgs}/nixos/modules/profiles/minimal.nix"
|
|
];
|
|
genodeGuests.signal-test = {
|
|
config = ''
|
|
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="CPU"/>
|
|
<service name="RM"/>
|
|
<service name="PD"/>
|
|
<service name="LOG"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
<default caps="100"/>
|
|
<start name="timer" caps="96">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
<start name="test-signal" caps="500">
|
|
<resource name="RAM" quantum="10M"/>
|
|
</start>
|
|
</config>
|
|
'';
|
|
rom = pkgs: {
|
|
"test-signal" =
|
|
"${pkgs.genodeSources.depot "test-signal"}/bin/test-signal";
|
|
};
|
|
};
|
|
};
|
|
|
|
testScript = ''
|
|
start_all()
|
|
machine.wait_for_unit("genode")
|
|
machine.wait_for_open_port("1965")
|
|
'';
|
|
}) {
|
|
system = localSystem;
|
|
pkgs = legacyPackages.buildPackages;
|
|
}
|