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

..

apps.patch

pistachio: fix build error with gcc 10

2021-05-05 11:35:30 +02:00

bda.patch

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

config_x86_32_only.patch

pistachio: patch kernel to get rid of python tool

2025-04-10 14:14:07 +02:00

configure.patch

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

gcc8.patch

pistachio: fix compile error with GCC 8.3.0

2019-05-16 13:11:02 +02:00

gcc12.patch

pistachio: fix build errors with gcc 12

2023-05-30 12:03:25 +02:00

size_type.patch

pistachio: fix compilation with GCC 6

2017-05-31 13:16:07 +02:00

syscall_edi_clobber.patch

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

warnings.patch

pistachio: fix compilation with GCC 6

2017-05-31 13:16:07 +02:00