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 Helmuth
161274f785
pistachio: check for 'ed' tool on port prepare
...
Some debian systems seems to come without 'ed' in the base installation.
The tool is needed when building the pistachio kernel.
2019-12-19 17:00:47 +01: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
fe33193ae1
pistachio: remove autom4te cache from contrib dir
...
The cache directory content is slightly different on each prepare-port
run and fortunately not used at build time. So, we just remove it at the
end of port preparation.
2017-09-07 11:47:16 +02:00
Christian Helmuth
274b7983c1
pistachio: fix compilation with GCC 6
...
Issue #2372
2017-05-31 13:16:07 +02:00
Christian Helmuth
e479b9e8e8
ports: also hash patches with absolute path names
...
Fixes #1305
2015-01-27 12:17:53 +01:00
Norman Feske
615830e107
Enable hash checks for ports mechanism
2014-05-27 13:45:03 +02:00
Stefan Kalkowski
aff92004d1
base-pistachio: migrate to new ports mechanism
...
Issue #1082
2014-05-27 11:14:44 +02:00
