ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 07:46:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
220890534a
genode/repos/base-sel4/src
History
Norman Feske bc82cce72b core: add Platform::max_caps() 
This method returns the kernel-specific system-global limit of the total
number of capabilities.

Issue #2398
2017-05-31 13:16:03 +02:00
..
core core: add Platform::max_caps() 2017-05-31 13:16:03 +02:00
include Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
kernel/sel4 Disambiguate kernel-specific file names 2016-12-23 16:51:32 +01:00
lib Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00