ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-05 02:29:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
10,911 Commits 2 Branches 70 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Josef Söntgen
67f797abf2 pc: enable UHCI driver in usb_host 
Fix genodelabs/genode#4438
 2022-03-07 16:43:12 +01:00
Stefan Kalkowski
e1a2b5c8d4 pc: build lx_emul and linux driver code with -O2 
Ref genodelabs/genode#4416
 2022-02-21 15:47:51 +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