6 Commits

Author	SHA1	Message	Date
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
Christian Prochaska	0eda98b03e	pistachio: fix build errors with gcc 12 ... Fixes #4837	2023-05-30 12:03:25 +02:00
Christian Prochaska	0f679bb35e	pistachio: fix build error with gcc 10 ... Fixes #4119	2021-05-05 11:35:30 +02:00
Christian Prochaska	aa63628536	pistachio: fix compile error with GCC 8.3.0 ... Fixes #3330	2019-05-16 13:11:02 +02:00
Christian Helmuth	274b7983c1	pistachio: fix compilation with GCC 6 ... Issue #2372	2017-05-31 13:16:07 +02:00
Norman Feske	ca971bbfd8	Move repositories to 'repos/' subdirectory ... This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082	2014-05-14 16:08:00 +02:00