ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-25 00:11:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,995 Commits 2 Branches 70 Tags 87 MiB
b5f79756b3
Commit Graph

104 Commits

Author SHA1 Message Date
Alexander Boettcher
eedf3fa413 nova: update to r7 branch 
Fixes #1297
 2014-11-28 12:00:44 +01:00
Alexander Boettcher
e70c13ce1f nova: update to r6 nova kernel branch 
- adds general support for semaphore timeouts
- fixes PCID feature (aka tagged TLB) seeen on Lenovo X201

Fixes #1211
 2014-07-24 10:18:06 +02:00
Norman Feske
615830e107 Enable hash checks for ports mechanism 2014-05-27 13:45:03 +02:00
Norman Feske
7d4f8fa746 base-nova: migrate to new ports mechanism 
Issue #1082
 2014-05-27 11:14:43 +02:00