55 Commits

Author	SHA1	Message	Date
Christian Helmuth	90535a1401	depot: update recipe hashes	2020-02-04 15:51:10 +01:00
Alexander Boettcher	c5c5f8754c	test-init: add test to check for affinity warning ... Issue #1412	2020-02-04 15:51:09 +01:00
Christian Helmuth	7ed1d7f11d	depot: update recipe hashes	2019-11-19 14:54:14 +01:00
Christian Helmuth	5a06751242	Increase input_filter RAM quotas to 1280K ... Issue #3483	2019-11-19 14:23:54 +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	be053ed257	depot: add recipe for drivers_interactive-muen	2019-05-16 13:11:01 +02:00
Stefan Kalkowski	1e986fade8	os: name pbxa9 ps2_drv explicitely (ref #2190)	2019-05-16 13:11:01 +02:00
Stefan Kalkowski	a623a66019	depot: add recipe for drivers_interactive-imx53_qsb ... Ref #2190	2019-05-16 13:11:01 +02:00
Stefan Kalkowski	8d1cfce15e	os: name fb_drv unambigously (ref #2190)	2019-05-16 13:11:01 +02:00
Stefan Kalkowski	5d4064fed4	depot: add recipe for drivers_nic-pbxa9 ... Ref #3180	2019-05-16 13:11:00 +02:00
Stefan Kalkowski	5182224c2b	depot: add recipe for drivers_nic-zynq ... Ref #3180	2019-05-16 13:11:00 +02:00
Stefan Kalkowski	5b5e8a9bd4	depot: add recipe for drivers_nic-linux ... Ref #3180	2019-05-16 13:11:00 +02:00
Christian Helmuth	ebe71a12ed	depot: update recipe hashes	2019-03-19 11:12:36 +01:00
Josef Söntgen	1c2dabc6d7	test-part_block_mbr: update disk image ... The disk image contains an extended partition table now that would have been parsed incorrectly in the past. While there remove the unused gpt BLOB (test-part_block_gpt has its own raw archive). Issue #3223.	2019-03-18 15:56:58 +01: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
Norman Feske	81fb10daaa	Consistently name block components ... This patch replaces abbreviations like "blk", "cli", and "srv" by their full forms "block", "client", and "server". Fixes #1258	2019-01-14 12:34:39 +01:00
Christian Helmuth	21a61cd583	depot: update recipe hashes	2019-01-07 12:43:37 +01:00
Norman Feske	8f1f4f2652	Improve robustness of init test ... By adding an additional synchronization point in the form of a matched log message, this patch makes the timing behavior of the "test changing provided services" step more deterministic. Without it, the scheduling of OKL4 and base-hw resulted in a merge of two config updates into one. Issue #3079	2019-01-07 12:33:55 +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
Norman Feske	19d7a488de	init: health monitoring of child components ... Fixes #3039	2018-11-27 11:36:34 +01:00
Christian Helmuth	70e7499e48	depot: update recipe hashes	2018-11-16 15:07:53 +01:00
Martin Stein	146f45f3d4	Archive recipes for autopilot tests	2018-11-16 15:07:53 +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	f4ea50c6ff	depot: update recipe hashes	2018-08-08 10:59:04 +02:00
Norman Feske	4b46abf813	base: rm first-class support for static binaries ... This patch removes the detection of statically linked executables from the base framework. It thereby fixes the corner cases encountered with Sculpt when obtaining the binaries of the runtime from the depot_rom service that is hosted within the runtime. Statically linked binaries and hybrid Linux/Genode (lx_hybrid) binaries can still be started by relabeling the ROM-session route of "ld.lib.so" to the binary name, pretending that the binary is the dynamic linker. This can be achieved via init's label rewriting mechanism: <route> <service name="ROM" unscoped_label="ld.lib.so"> <parent label="test-platform"/> </service> </route> However, as this is quite cryptic and would need to be applied for all lx_hybrid components, the patch adds a shortcut to init's configuration. One can simply add the 'ld="no"' attribute to the <start> node of the corresponding component: <start name="test-platform" ld="no"/> Fixes #2866	2018-08-02 14:36:38 +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	553cf556af	depot: update recipe hashes	2017-12-21 15:01:56 +01:00
Christian Prochaska	58cbd11f6a	drivers_interactive-pbxa9: add input_filter ... Fixes #2604	2017-12-21 15:01:38 +01:00
Christian Prochaska	d8b1159cbd	drivers_interactive-linux: add input filter ... Fixes #2603	2017-12-21 15:01:34 +01: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
Norman Feske	0d1be4abe2	depot: update recipe hashes	2017-06-29 12:00:04 +02:00
Norman Feske	ce01fd5321	depot: update drivers_interactive-pbxa9 to 17.05 ... With this commit, the wm.run script works for the pbxa9 platform when using the base-hw kernel.	2017-06-29 12:00:02 +02:00
Christian Helmuth	892ede515f	depot: update recipe hashes	2017-05-31 16:18:01 +02:00