ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-17 06:38:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,510 Commits 2 Branches 73 Tags
8dbf449b91d94efaf6b51f6b7cd712ee271c633d
Commit Graph

3 Commits

Author SHA1 Message Date
Adrian-Ken Rueegsegger
3a9e5cbd8c Relax tool checks of Muen port 
The gnat and gprbuild tools are not necessarily in the PATH when
preparing the port since the effective location is specified by the
--image-muen-gnat-path RUN_OPT.
 2016-02-26 11:36:55 +01:00
Reto Buerki
aa8e5c5016 Update Muen port to release version 0.7.0 2016-02-26 11:36:53 +01:00
Adrian-Ken Rueegsegger
8d2f2b0101 hw: Add port for Muen Separation Kernel 
For additional information about the Muen SK refer to the project page
at [1].

[1] - http://muen.codelabs.ch/
 2016-01-08 14:37:56 +01:00