diff options
| author | Emery Hemingway <ehmry@posteo.net> | 2020-03-24 13:32:18 +0530 |
|---|---|---|
| committer | Emery Hemingway <ehmry@posteo.net> | 2020-03-24 20:41:21 +0530 |
| commit | 9f91fa02a6a3e6800dff5f80f061410e83aaeb28 (patch) | |
| tree | 177b918c4f47906fa66cb7436b724ac386e1b9a3 /pkgs/development/python-modules/rangehttpserver | |
| parent | 5ee77aa47c320b725086b001cad8afb1997ad62b (diff) | |
lib/systems: Add Genode platform definitions
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
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions