Ehmry -
559f4aa3c0
Add aarch64 platform
...
Add the hw-virt_qemu platform to tests, rename hw to hw-pc.
2020-06-03 16:56:33 +05:30
Ehmry -
3f646b6fa6
Add rtc-dummy driver
2020-06-03 16:56:06 +05:30
Ehmry -
0dc02f60e5
Lighttpd can be built from Nixpkgs
2020-05-31 12:44:52 +05:30
Ehmry -
7dc432ce33
Increase binary labels strings to accomodate store paths
2020-05-30 17:31:12 +05:30
Ehmry -
c1457bf140
cached_fs_rom: session diagnostics
2020-05-30 17:31:12 +05:30
Ehmry -
bf7c80502e
Fix execve mapping of special libraries
2020-05-30 17:31:12 +05:30
Ehmry -
b06ff9afd5
libc: return 0 from getpgrp and getppid dummies
2020-05-29 09:29:28 +05:30
Ehmry -
44d8327f43
Update to Genode 20.05
2020-05-28 17:47:06 +05:30
Ehmry -
2d0ba4b8a0
libc: add mlock and munlock dummies
2020-05-28 12:33:02 +05:30
Ehmry -
89408c5315
test-log: patch for exit
2020-05-19 16:38:49 +05:30
Ehmry -
3704785f69
genodelabs/vbox: nitpicker patch
2020-05-16 02:50:10 +05:30
Ehmry -
c0cfa5f549
Patch the VFS to load libvfs_%s.so plugins
2020-05-15 11:12:14 +05:30
Ehmry -
55c093e0c5
Use updateAutotoolsGnuConfigScript to build legacy packages
...
Update Nixpkgs to use the updateAutotoolsGnuConfigScript hook everywhere
for Genode target platforms. Tweak Coreutils and Bash to compile, make
some tests.
2020-05-08 02:05:41 +05:30
Ehmry -
32d65d2f41
Patch Genode upstream to use conventional library names
...
Use library names that are compatible with legacy software.
2020-05-08 01:11:30 +05:30
Ehmry -
0c981604d8
input_filter: patch for survivibility
2020-05-01 05:22:58 +05:30
Ehmry -
1941fd196c
init/sandbox: patch in <routes> support
2020-05-01 05:22:58 +05:30
Ehmry -
1f5dfe4ef5
tests: add vmm_x86 test
2020-04-26 11:48:23 +05:30
Ehmry -
1400dded7e
fixup! tests: consolidate rtc, signal, pci into x86 test
2020-04-26 11:48:05 +05:30
Ehmry -
ae135e118d
Genodelabs/init: always route "ld.lib.so" ROM to parent
2020-04-25 16:27:01 +05:30
Ehmry -
feb555991e
genodeSources: prevent build scrips from stripping
...
The fixup phase of the Nix builder strips files and easier to disable.
2020-04-20 16:46:39 +05:30
Ehmry -
b4ee16345f
Apply iasl patch to virtualbox
2020-04-09 23:37:36 +05:30
Ehmry -
7a04959417
Patch Genode sources per-package
...
Avoid cross package rebuilds when patching. Remove init schema
validation, as its not worth patching.
2020-04-08 21:22:52 +05:30
Ehmry -
ed3cf7f063
Prefer Genode Labs packages from depot builds
2020-04-08 21:22:52 +05:30
Ehmry -
8a74a86599
Move genodeSources from packages to overlay
2020-03-31 23:10:32 +05:30
Ehmry -
db7d458b5e
Add package manifests at testing site
...
The manifests can be generated at late as possible. Also, in the future
a list of binaries in use by an init expression can be extracted and
selected from a list of input packages.
2020-03-31 23:10:32 +05:30
Ehmry -
d1f2ea427e
Add app/gpt_write to Genode Make targets
2020-03-24 18:32:57 +05:30
Ehmry -
918c74a111
Make devShell a Genode Labs FHS environment
2020-03-20 23:45:47 +05:30
Ehmry -
6d6d585f0f
Refactor of packaging and testing
...
- Remove manifests from Dhall configurations and mix all
test inputs to generate test ROM maps.
- All loader and timer drivers are name ld.lib.so and timer_drv.
- Replace packages of multiple Genode Labs targets with functions
to build individual targets. These packages are not explicitly
specified unless they require inputs from the source ports or
extra nativeBuildInputs.
- Add support for building from Genode world repository.
2020-03-18 19:39:57 +05:30
Ehmry -
2aab55dc38
Write boot image configuration to file during compilation
...
Sometimes ld chokes on complex XML renderings.
2020-03-07 14:03:16 +01:00
Ehmry -
a61c3532e8
Build more packages using upstream build system
...
- Implement support for "ports"
- Update Nixpkgs to use Genode 20.02
- Remove packaging of forked Genode
2020-03-02 19:17:14 +01:00
Ehmry -
57d8d01e42
Update Genode to 20.02 release
2020-02-28 14:42:34 +01:00
Ehmry -
52fe694be4
Add NOVA driver_manager test
2020-02-27 18:17:14 +01:00
Ehmry -
7f30ff1fed
Tweak Genode upstream build wrapper
2020-02-24 22:47:07 +01:00
Ehmry -
bfebc6dcef
Patch Genode Labs builds for unlabeled LOG sessions (SOTEST)
2020-02-19 14:52:34 +01:00
Ehmry -
7d5d2a3c5e
Add base-hw-pc
...
Build base-hw-pc with the Genode Labs build system
2020-02-19 13:26:15 +01:00