ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,542 Commits 2 Branches 70 Tags 87 MiB
1936667a53
Commit Graph

2 Commits

Author SHA1 Message Date
Sebastian Sumpf
8af45fd5fb rump: retrieve port sources using git 
fixes #2621
 2018-01-17 12:14:34 +01:00
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