Ehmry -
f54b0c7d51
solo5: 0.6.5 -> 0.6.6
2020-07-23 11:49:31 +02:00
Ehmry -
44184862cc
Target overrides for linux hybrid depot packages
2020-06-20 22:12:45 +05:30
Ehmry -
c91449cf4e
libc: add newlocale and freelocale dummies
2020-06-11 11:10:39 +05:30
Ehmry -
8134e9bd13
vbox: remove iasl patch
2020-06-11 11:10:39 +05:30
Ehmry -
0b160f488b
vfs_import: log each copy and the completion of import
2020-06-11 11:10:39 +05:30
Ehmry -
6bd3b29f5d
show_input: init at 0.1.0
2020-06-11 11:10:39 +05:30
Ehmry -
ce6037f2c1
block_router: 0.1.1 -> 0.1.2
...
Adjust to removal of Genode::strncpy.
2020-06-11 11:10:39 +05:30
Ehmry -
100be5270a
dhall: policy specification
2020-06-11 11:10:39 +05:30
Ehmry -
60473079e8
ports: extract port version from the Genode sources
2020-06-11 11:10:39 +05:30
Ehmry -
dac3650ef5
Update nic_bus package
2020-06-03 19:45:23 +05:30
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 -
08913768fc
dhall-genode: update for ServiceRoute diagnostics
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 -
72c4e4d2f3
Update dhall-genode for Init.StateReport
2020-05-16 02:50:10 +05:30
Ehmry -
ba2d96d419
Place binaries into $out directories rather than simply as $out
2020-05-16 02:50:10 +05:30
Ehmry -
e90c74304b
solo5: do not yield for expired deadlines
2020-05-16 02:49:49 +05:30
Ehmry -
4696802515
solo5: 0.6.4 -> 0.6.5
2020-05-15 11:12:43 +05:30
Ehmry -
c0cfa5f549
Patch the VFS to load libvfs_%s.so plugins
2020-05-15 11:12:14 +05:30
Ehmry -
eff3cd9d33
Update nic_bus, block_route to build again
2020-05-08 09:34:24 +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 -
75615fac16
Clang: patch to link with -lc and -lposix
...
Link with the libc and posix entrypoint library unless the -noposix flag
is passed. This allows the Genode Clang to be dropped into legacy build
systems.
Update the native packages using the Clang stdenv to pass -noposix.
2020-05-08 01:01:29 +05:30
Ehmry -
bdcc22d5be
dhall-genode: update to fix missing parent-provides
2020-05-01 06:33:27 +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 -
f623372e6b
dhall-genode: update
2020-04-23 15:19:27 +05:30
Ehmry -
8c4e0dcbb0
overlay: add setup-hook to tup
2020-04-22 17:18:57 +05:30
Ehmry -
6c8629d1be
Patch GDB for Genode target support
2020-04-20 16:46:39 +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 -
2aee6e6601
dhall-genode: update to LabelSelector revision
2020-04-20 16:46:39 +05:30
Ehmry -
e97e80dcaf
block_router: 0.1.1 <- 0.1.0
2020-04-13 12:40:45 +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 -
81fd2fce98
Package stdcxx library
2020-04-08 13:43:27 +05:30
Ehmry -
d0ba11aba8
nic_bus: reinit at version 0.2
2020-04-05 14:03:51 +05:30
Ehmry -
cee2caa2c7
block_router: update to v0.1.0
2020-04-04 16:17:44 +05:30
Ehmry -
33fa10e0c0
solo5: 0.6.3 -> 0.6.4
2020-04-04 14:25:32 +05:30