mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
96ca806e0d
This change is necessary for also supporting 32bit platforms. Ref genodelabs/genode#4411 |
||
---|---|---|
.. | ||
drivers | ||
include | ||
lib | ||
server/usb_terminal | ||
test |