Ehmry - 272a141fc1 Deprecate top-level `{build,host,target}Platform`		2023-06-16 10:09:09 +01:00
..
default.nix	Deprecate top-level `{build,host,target}Platform`	2023-06-16 10:09:09 +01:00
elftool.patch	solo5: 0.6.3 -> 0.6.4	2020-04-04 14:25:32 +05:30
genode.patch	Add aarch64 platform	2020-06-03 16:56:33 +05:30
misleading-indentation.patch	solo5: patch misleading indentation	2020-11-26 12:55:08 +01:00
test_time.patch	solo5: increase slack in time test	2020-11-01 20:29:19 +01:00