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 | ||