Ehmry -
307a261dfa
Add toDhall to lib
2021-04-06 11:17:00 +02:00
Ehmry -
d85ba92b5a
nixos: support for an empty second-level init
2021-04-06 11:17:00 +02:00
Ehmry -
21471b5754
nimblePackages.genode: update to 20.11.1
2021-04-06 11:17:00 +02:00
Ehmry -
0aec8413c8
Disable an assert in patchelf
2021-04-06 11:17:00 +02:00
Ehmry -
139d056a36
nim: patch to print NimStringV2
2021-04-06 11:16:17 +02:00
Ehmry -
4e8c8f8e73
nixos: add dump option to child uplinks
2021-03-18 13:13:10 +01:00
Ehmry -
a91dda99d8
nixos: add uplink option to children
...
Add an option to genode.core.children and genode.init.children
for specifying a Nic driver for the exclusive use of the child
for which it is added. This mechanism is to support the nic_router
but it is reusable for arbitrary children.
2021-03-17 18:55:13 +01:00
Ehmry -
de98f23758
nixos: replace store_rom with rom_eris
2021-03-17 18:06:22 +01:00
Ehmry -
4bc0f2ddea
overlay: extend nimblePackages in overlay
2021-03-17 16:20:15 +01:00
Ehmry -
7078c64a1c
Patch patchelf to fix misaligned load segments
2021-03-17 16:15:42 +01:00
Ehmry -
4c0a6e94f4
Add inline documentation
2021-03-10 18:47:49 +01:00
Ehmry -
707ec1828c
Replace deprecated stdenv.lib
2021-03-03 15:14:21 +01:00
Ehmry -
73c8b62645
Simplify flake.nix
2021-03-03 15:14:21 +01:00
Ehmry -
165cf60551
nixos-modules: consolidate common init functions
...
The "config.genode.init.children" option is a superset of the
"config.genode.core.children" option, so refactor both into
helper functions.
2021-03-03 15:14:21 +01:00
Ehmry -
98175a0f9b
fixup rump and ext2 image loading
2021-03-03 15:14:21 +01:00
Ehmry -
16cf8a8e62
fixup ext2 image generation
2021-03-03 15:14:21 +01:00
Ehmry -
7376302bcc
Do not worry about the store closure in make-ext2-fs
...
Probably should worry about this.
2021-03-03 15:14:21 +01:00
Ehmry -
85a108bdb3
erisPatch nixos modules
2021-03-03 15:14:21 +01:00
Ehmry -
207da49692
vbox5: do not build from depot
...
The depot build is somehow broken by ERIS patching.
2021-03-03 15:14:21 +01:00
Ehmry -
e3524c4277
erisPatchHook: patch ELF images to load ERIS URNs
...
Add this hook to the Genode stdenv.
2021-03-03 15:14:21 +01:00
Ehmry -
83c36784ff
Propagate dependencies between depot packages
...
The buildDepot function now takes a "depotInputs" argument that
propagates "portInputs" and "depotInputs" across packages.
Drop the stdcxx package that includes a dev output and just use
the simple depot package for now.
2021-03-03 15:13:20 +01:00
Ehmry -
7a172c23c9
Remove unused apps output from flake
2021-02-28 23:04:31 +01:00
Ehmry -
ebc724565b
Patchelf: Expand LOAD segment to cover new .dynstr and .dynsym sections
2021-02-28 23:04:31 +01:00
Ehmry -
ba1d50ab6b
packages: consolidate genodeSources patches
2021-02-19 22:13:29 +01:00
Ehmry -
4a613364df
Patch Nim compiler and standard library
2021-02-18 19:42:23 +01:00
Ehmry -
1740628e41
stdenv.cc: move a -L flag from cc-cflags to cc-ldflags
2021-02-18 19:41:03 +01:00
Ehmry -
a9b18e95c4
stdenv.cc: add proper C++ support
2021-02-18 15:35:02 +01:00
Ehmry -
bf93a9d05e
Replace deprecated stdenv.lib references
2021-02-16 15:49:54 +01:00
Ehmry -
2afd2d08cc
nixos: add genode.init.children.<…>.binary option
...
Require that all init children declared by Nix be declared with
an absolute path to the program binary.
2021-02-16 15:46:14 +01:00
Ehmry -
cc211e763a
packages: transitive depot package dependencies
...
The buildDepot function now takes a "depotInputs" argument that
propagates "portInputs" and "depotInputs" across packages.
Drop the stdcxx package that includes a dev output and just use
the simple depot package for now.
2021-02-16 15:46:14 +01:00
Ehmry -
e9d784ac52
Patch: Increase session creation buffer size to 240 bytes
2021-02-16 15:46:14 +01:00
Ehmry -
8379dccf12
Refer to program and library ROMs by store path
...
Retrieve ROMs in the common case by full store path. This reduces
the need for route policies for driving relative requests into
absolute package paths.
Making library requests by absolute path required libraries to be
stored in the core image as such, and it follows that program
binaries should be handled in the same way. This makes requests
to core and to a file-system store more consistent, and makes
dependency detection more robust.
2021-02-16 15:46:14 +01:00
Ehmry -
f463b467ce
Use GCC runtime libraries with LLVM toolchain
...
Use the GCC runtime library from the prebuild Genode toolchain.
2021-02-16 15:46:14 +01:00
Ehmry -
18e59cd590
Patch: Detect destroyed argument buffers at Env::session
2021-02-10 14:22:33 +01:00
Ehmry -
4c73e12974
libc: add missing internal symbols
2021-02-06 21:41:39 +01:00
Ehmry -
b77a91bc87
nixos-modules: boot packages from buildPackages.buildPackages
2021-02-06 21:41:24 +01:00
Ehmry -
adff162a29
dhall-genode: update prelude to 20.1.0
2021-02-06 17:56:21 +01:00
Ehmry -
825a066f79
Update development shell
...
Add some missing packages, update Nixpkgs revision.
2021-02-06 15:16:10 +01:00
Ehmry -
f16241e7e9
vfs_rump: static link dependencies
2021-02-06 14:37:44 +01:00
Ehmry -
7e1bb6425f
vfs: patch for loading plugins by label, long tar names
2021-02-06 14:37:44 +01:00
Ehmry -
9c23c59044
nixos: rename store_fs to fs, cleanup
...
The file-system containing the nix store also acts as the main
file-system.
2021-02-01 15:36:29 +01:00
Ehmry -
8c0c7d55c4
nixos: config.genode.boot.storeBackend is "fs" or "memory"
...
Make the config.genode.boot.storeBackend option a choice between
a traditional file-system or memory-backed file-system image. Fix
GRUB booting when using a file-system store.
The nova-ahci test shows that this is working.
2021-02-01 13:37:28 +01:00
Ehmry -
6f9f1b7069
Replace lib.crossLists with lib.cartesianProductOfSets
2021-01-30 11:16:14 +01:00
Ehmry -
f12d27872a
Patch genode_dyn.ld to not emit PHDR segments
...
This is important, because otherwise binutils will refuse to strip
Genode binaries, which causes runtime closures to explode, which
causes a giant image.elf, which takes so long to load that tests
break.
2021-01-28 15:42:06 +01:00
Ehmry -
8d22ff4eb3
Use Nixpkg master as flake input
...
Now that the LLVM packages selector is merged we are compatible
with the Nixpkgs master branch.
2021-01-27 23:13:46 +01:00
Ehmry -
6cd7fc532c
Remove networking test
...
The two interfaces test is broken. This started when the Nic
drivers were raised from the core children to the second-level
init.
2021-01-27 12:23:28 +01:00
Ehmry -
74ea4d0c12
nixos: add file-systems options
2021-01-21 12:25:08 +01:00
Ehmry -
1bb05f7e57
nixos: add nova artifacts to boot.loader.grub.extraFiles
2021-01-21 12:14:54 +01:00
Ehmry -
b15c1b6cea
nixos: replace system.build.toplevel
2021-01-21 12:14:54 +01:00
Ehmry -
15f122f981
Add the rpcsvc-proto package to the libc port inputs
...
The libc "port" requires the rpcgen utility to generate some source
files. This was previously provided by glibc, but is missing in the
current version. The output of libc port remains constant.
2021-01-12 12:56:45 +01:00
Ehmry -