ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-08 22:12:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
61b370ecba
genode/repos/dde_rump/lib/mk
History
Josef Söntgen 9e443c78db dde_rump: migrate to new ports mechanism 
Issue #1082
2014-05-27 11:14:46 +02:00
..
arm Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
x86_32 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
x86_64 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
rump_base.inc dde_rump: migrate to new ports mechanism 2014-05-27 11:14:46 +02:00
rump_cgd.mk dde_rump: block encryption server using cgd(4) 2014-05-27 11:14:45 +02:00
rump_fs.mk Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
rump.inc dde_rump: migrate to new ports mechanism 2014-05-27 11:14:46 +02:00