ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-01 16:42:06 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base/run
History
Christian Helmuth 6726e6d7fe Increase quota of ACPI driver 
Platforms with more complex ACPI configurations require more RAM in the
driver, e.g., ~160K for the test notebook on my desk.
2016-08-10 11:07:48 +02:00
..
affinity_subspace.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
affinity.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
ds_ownership.run
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00
fpu.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
mp_server.run
Consolidate RM service into PD session
2016-05-09 13:10:51 +02:00
new_delete.run
Log name of exiting child from Child::exit()
2014-09-11 10:23:39 +02:00
platform_drv.inc
Increase quota of ACPI driver
2016-08-10 11:07:48 +02:00
printf.run
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00
rm_fault.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
rm_nested.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
slab.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
sub_rm.run
Omit superfluous use of "CAP"/"SIGNAL" services
2016-05-09 13:24:51 +02:00
thread.run
Thread API cleanup
2016-05-23 15:49:55 +02:00
util_mmio.run
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00