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
master
genode/repos/dde_bsd/lib/mk/spec
History
Stefan Kalkowski 03cec5cdd7 dde_bsd: use generic platform API 
Ref genodelabs/genode#4578
2022-10-12 12:09:33 +02:00
..
x86_32
dde_bsd: use generic platform API
2022-10-12 12:09:33 +02:00
x86_64
dde_bsd: use generic platform API
2022-10-12 12:09:33 +02:00