ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 08:51:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,370 Commits 2 Branches 70 Tags 87 MiB
dd90cb3bfe
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