ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 14:13:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7,693 Commits 2 Branches 70 Tags 87 MiB
8236a18260
Commit Graph

3 Commits

Author SHA1 Message Date
Christian Helmuth
e1b27885f9 solo5: needs IRQ for timer on sel4 2019-01-07 12:25:44 +01:00
Christian Helmuth
dee4d43eb9 Use common abort message in solo5 run scripts 
This enables our nightly tools to detect this abort is not fatal but
because of an unsupported platform.
 2018-11-27 11:36:35 +01:00
Emery Hemingway
bc539ce892 Native Solo5 bindings 
A shared library implementation of the unikernel middleware.

https://github.com/Solo5/solo5

Fix #2945
 2018-11-16 15:07:52 +01:00