ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-23 21:08:00 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,713 Commits 2 Branches 70 Tags 88 MiB
5fdea3a595
Commit Graph

103 Commits

Author SHA1 Message Date
Sebastian Sumpf
38abfc79f5 rump: reduce size of rump 
* integrate rump's contrib code into Genode's build system and build what is
  required by Genode, only
* checkout needed NetBSD sources directly from CVS

fixes #2589
 2017-11-30 11:23:19 +01:00
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
Sebastian Sumpf
a932fc2e5a depot: recipe for rump/file_system 
Ref #2446
 2017-10-05 17:39:56 +02:00