denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
63d6827f1673dab2512762a93bf3dee96e7108ed
genode/repos/base/board/pc
History
Stefan Kalkowski 9f9a5186e0 ps2_drv: use generic platform API 
Ref genodelabs/genode#4578
2022-10-12 12:09:33 +02:00
..
devices
ps2_drv: use generic platform API
2022-10-12 12:09:33 +02:00
qemu_args
tool/run: move nic model to qemu_args file
2021-11-29 15:10:52 +01:00