ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-26 13:59:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,556 Commits 2 Branches 71 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Christian Prochaska
8a6ad5f94b Linux_dataspace: increase file name length 
Fixes #2508
 2017-09-07 11:47:15 +02:00
Norman Feske
29b8d609c9 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
Norman Feske
8132a16137 base-linux: make linux-specific headers private 
The interfaces linux_cpu_session, local_capability, linux_dataspace,
linux_native_pd are mere implementation necessities. They are meant for the
internal use by the framework only. So it is appropriate to move them to
base/internal/.

Issue #1832
 2016-03-07 12:34:46 +01:00