Christian Helmuth f3610dc3a8 sel4: prevent stdout/stderr truncation in cmake ...

Remove the "excellent" idea to re-open /dev/stdout etc. for redirection as
cmake uses open(O_TRUNC) and, thus, truncates log output of outer
redirections.

2024-04-12 15:00:46 +02:00

..

sel4_tools.hash

sel4 + foc: extend port's tool check rules

2020-10-09 13:35:56 +02:00

sel4_tools.port

sel4 + foc: extend port's tool check rules

2020-10-09 13:35:56 +02:00

sel4.hash

sel4: prevent stdout/stderr truncation in cmake

2024-04-12 15:00:46 +02:00

sel4.port

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +02:00