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
6,520 Commits 2 Branches 70 Tags 87 MiB
81ada6b4f2
Commit Graph

4 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
Josef Söntgen
f01472b308 dde_rump: Update to current version 
Issue #1361
 2015-01-20 11:23:49 +01:00
Josef Söntgen
9e443c78db dde_rump: migrate to new ports mechanism 
Issue #1082
 2014-05-27 11:14:46 +02:00