ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-25 08:21:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,019 Commits 2 Branches 70 Tags 87 MiB
b2e11f1e9e
Commit Graph

6 Commits

Author SHA1 Message Date
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