mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 19:20:09 +00:00
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