summaryrefslogtreecommitdiff
path: root/microkernel/genode
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-10-03 22:31:48 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-10-03 22:31:51 +0200
commita0c28bcb47030eefa9b49fa27fa92e188edd17d0 (patch)
tree1deab0293e19d8a7e7b6bb1a0579416320ad7a6c /microkernel/genode
parent5518932b30be2e741c5ae957f51652b79f180e3e (diff)
64bit: update
The system is mostly working. We'd really need a gdb to be able to debug easily.
Diffstat (limited to 'microkernel/genode')
0 files changed, 0 insertions, 0 deletions