mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-12 21:53:28 +00:00
Patch the kernel's build system to not use python tooling for different configurations, instead we only support one fixed configuration for x86 (32-bit) only. Ref genodelabs/genode#5487