On 2020-04-06 05:04, Christian Mauderer wrote: > libbsd on raspberry should work again since yesterday (if you refer to > that ticket: https://devel.rtems.org/ticket/3903). Did the libbsd config in the RSB get updated? Chris