9f91fa02a6
Add platform definitions for 64-bit ARM and x86. This is sufficient for for building Genode where a toolchain is provided as an overlay. Toolchain: git+https://git.sr.ht/~ehmry/genodepkgs?rev=14fc773ac9ecd2cbb30cb4612b284eee83d83546 |
||
---|---|---|
.. | ||
default.nix | ||
doubles.nix | ||
examples.nix | ||
inspect.nix | ||
parse.nix | ||
platforms.nix |