This website requires JavaScript.
Explore
Help
Sign In
alex
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
15a5db61c8617c061ab7c25f0b126ebb2944d2f7
genode
/
repos
/
dde_rump
/
lib
/
mk
History
Christian Helmuth
8b05deba13
rump: remove .git directories from src recipe
...
This spares us about 200M but still leaves us with 600M.
2017-11-09 12:18:40 +01:00
..
spec
…
rump_base.inc
rump: remove .git directories from src recipe
2017-11-09 12:18:40 +01:00
rump_cgd.mk
dde_rump: block encryption server using cgd(4)
2014-05-27 11:14:45 +02:00
rump_fs.mk
…
rump.inc
depot: recipe for rump/file_system
2017-10-05 17:39:56 +02:00
vfs_rump.mk
Rump kernel VFS plugin
2017-01-13 13:07:12 +01:00