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