Norman Feske
9d67f9fc8e
Remove Allocator_guard
...
This patch removes old 'Allocator_guard' utility and replaces its use
with the modern 'Constrained_ram_allocator'.
The adjustment of core in this respect has the side effect of a more
accurate capability accounting in core's CPU, TRACE, and RM services.
In particular, the dataspace capabilities needed for core-internal
allocations via the 'Sliced_heap' are accounted to the client now.
The same goes for nitpicker and nic_dump as other former users of the
allocator guard. Hence, the patch also touches code at the client and
server sides related to these services.
The only remaining user of the 'Allocator_guard' is the Intel GPU
driver. As the adaptation of this component would be too invasive
without testing, this patch leaves this component unchanged by keeping a
copy of the 'allocator_guard.h' locally at the component.
Fixes #3750
2020-05-18 10:16:12 +02:00
Christian Helmuth
7ed1d7f11d
depot: update recipe hashes
2019-11-19 14:54:14 +01:00
Christian Helmuth
b2c59576ae
depot: update recipe hashes
2019-08-28 14:36:56 +02:00
Norman Feske
1dd68ce04b
Adjust quotas for seL4
2019-08-28 14:19:45 +02:00
Christian Helmuth
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
Christian Helmuth
a633b5e36e
drivers_interactive-pc: quotas (ps2_drv, input_filter)
2019-05-16 13:11:02 +02:00
Stefan Kalkowski
8d1cfce15e
os: name fb_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Christian Helmuth
46a29532a9
depot: update recipe hashes
2019-02-26 14:47:02 +01:00
Norman Feske
3a169d3a78
depot: update recipe hashes
2019-01-30 13:55:20 +01:00
Christian Helmuth
37b2aaa051
Equalize RAM quantum in acpi_drv configs
...
While the managed drivers already used 4M, interactive and nic failed on
hardware with larger ACPI tables.
2019-01-30 13:54:54 +01:00
Christian Helmuth
11eecdc7bd
depot: update recipe hashes
2018-11-29 11:54:31 +01:00
Norman Feske
98518e39cd
drivers_interactive-pc: increase ps2_drv caps
...
This is needed because the added heartbeat monitoring.
2018-11-29 11:54:29 +01:00
Christian Helmuth
c2e0d0ae20
depot: update recipe hashes
2018-08-30 09:25:10 +02:00
Christian Helmuth
40a84e0c81
input/ps2: poll for mouse-reset results
...
The PS/2 driver retries to get mouse-reset results for 700 ms, sleeping
after each attempt for 10 ms. So, the driver needs a Timer session now.
Fixes #2713
2018-08-28 17:10:55 +02:00
Christian Helmuth
bd86efe5fe
depot: update recipe hashes
2018-05-31 14:02:21 +02:00
Norman Feske
cfe6e0f15b
drivers_interactive-pc: increase caps for acpi
...
This is needed to use the pkg on a Thinkpad x250.
2018-05-30 13:36:09 +02:00
Christian Helmuth
3b7d6394d7
depot: update recipe hashes
2018-05-03 15:32:01 +02:00
Norman Feske
0011dd1623
terminal: remove built-in keyboard layout handling
...
Fixes #2757
2018-04-19 13:38:34 +02:00
Christian Helmuth
491be000ca
depot: update recipe hashes
2017-11-09 12:19:59 +01:00
Norman Feske
3b0899aae1
drivers_interactive-pc: apply mouse acceleration
2017-11-09 12:18:43 +01:00
Norman Feske
ece48d7df5
drivers_interactive-pc: emulate scroll wheel
2017-11-09 12:18:42 +01:00
Alexander Boettcher
804fb4e10d
update recipe drivers_interactive-pc for hardware
...
fails on native hardware because of missing caps and missing configuration
of the drivers subinit
2017-11-09 12:18:41 +01:00
Christian Helmuth
ee4ee6a8ac
depot: update recipe hashes
2017-10-19 13:31:18 +02:00
Norman Feske
dae563725b
drivers_interactive-pc: increase key-repeat rate
2017-10-05 17:40:02 +02:00
Christian Helmuth
2ed904faab
depot: update recipe hashes
2017-08-30 12:41:43 +02:00
Christian Helmuth
ae0c9e7692
Increase cap quota for usb_drv
2017-08-30 10:00:00 +02:00
Christian Helmuth
892ede515f
depot: update recipe hashes
2017-05-31 16:18:01 +02:00
Christian Helmuth
67e33d3948
depot: adjust cap quotas in drivers_interactive_pc (64-bit)
2017-05-31 16:18:01 +02:00
Norman Feske
1e8689bafe
depot: adjust cap quotas in drivers_interactive_pc
2017-05-31 13:16:25 +02:00
Christian Helmuth
8bd0efced6
Remove obsolete RAM/CAP services from run scripts
...
Adapted launchpad and also the rm_fault and resource_request tests.
Issue #2407
2017-05-31 13:16:22 +02:00
Norman Feske
773e08976d
Assign cap quotas in run scripts and recipes
...
Issue #2398
2017-05-31 13:16:06 +02:00
Norman Feske
b58fbe5ba5
Depot-archive recipes
...
Issue #2339
2017-05-31 13:15:56 +02:00
