Araq ac41aec348 minor update for the genode target ...

(cherry picked from commit fab70e4fe3)

2019-07-15 16:18:17 +02:00

..

alloc.nim

minor update for the genode target

2019-07-15 16:18:17 +02:00

env.nim

Native access to Genode environment

2018-06-07 07:21:20 +02:00