7 Commits

Author	SHA1	Message	Date
Josef Söntgen	0a6baff26d	pc: extended pc_linux api archive for wifi driver ... Issue #4455.	2022-04-13 09:29:04 +02:00
Alexander Boettcher	c0560ab0cb	pc: update intel display driver ... Fixes #4450	2022-04-13 08:08:00 +02:00
Stefan Kalkowski	5c71a8d74d	lx_emul: extract common lx_emul import makefile ... Fix #4442	2022-03-09 10:55:16 +01:00
Christian Helmuth	2b3370c8d8	depot: update recipe hashes	2022-02-28 11:46:35 +01:00
Norman Feske	649647538b	depot: update recipe hashes	2022-02-15 10:23:59 +01:00
Stefan Kalkowski	3edec0c6ca	pc: new usb host driver based on Linux 5.14.21 ... Original commit by Josef Soentgen. Ref genodelabs/genode#4416	2022-02-15 10:23:58 +01:00
Stefan Kalkowski	e72f39b484	Provide pc specific lx_emul API ... This commit contains: * Minimal Linux kernel target: pc_linux * Library to generate a Linux build directory, config, generated headers * API depot package The actual work was provided by Josef Soentgen. Ref genodelabs/genode#4416	2022-02-15 10:23:58 +01:00