Stefan Kalkowski aa0927b194 pistachio: patch kernel to get rid of python tool
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
2025-04-10 14:14:07 +02:00
..