2019-10-06 20:35:54 +02:00
|
|
|
{ pkgs, lib }:
|
|
|
|
with pkgs;
|
|
|
|
|
|
|
|
rec {
|
|
|
|
name = "solo5";
|
|
|
|
meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ];
|
|
|
|
|
2019-10-08 09:48:45 +02:00
|
|
|
testConfig = lib.renderDhallInit ./solo5.dhall "{=}";
|
2019-10-06 20:35:54 +02:00
|
|
|
|
2019-10-10 10:28:19 +02:00
|
|
|
bootModules = {
|
|
|
|
sequence = "${genode.os}/bin/sequence";
|
|
|
|
solo5-test_blk = "${solo5.tests}/bin/solo5-test_blk";
|
|
|
|
solo5-test_fpu = "${solo5.tests}/bin/solo5-test_fpu";
|
|
|
|
solo5-test_globals = "${solo5.tests}/bin/solo5-test_globals";
|
|
|
|
solo5-test_hello = "${solo5.tests}/bin/solo5-test_hello";
|
|
|
|
solo5-test_quiet = "${solo5.tests}/bin/solo5-test_quiet";
|
|
|
|
solo5-test_ssp = "${solo5.tests}/bin/solo5-test_ssp";
|
|
|
|
"solo5.lib.so" = "${solo5}/lib/solo5-bindings-genode/solo5.lib.so";
|
|
|
|
nic_loopback = "${genode.os}/bin/nic_loopback";
|
|
|
|
ram_block = "${genode.os}/bin/ram_block";
|
|
|
|
};
|
2019-10-07 21:58:35 +02:00
|
|
|
|
2019-10-10 10:28:19 +02:00
|
|
|
testScript = ''
|
2019-10-08 09:48:45 +02:00
|
|
|
run_genode_until "Error: stack protector check failed" 30
|
2019-10-06 20:35:54 +02:00
|
|
|
'';
|
|
|
|
}
|