We are encountering in LionsOS that our custom sDDF printf is clashing with printf from libc. This is a temporary measure to ensure systems using libc can be built with sDDF.
We have two options to deal with this:
sDDF either declares the minimal libc functionality it needs (memcpy, some str functions, printf etc) and it is up to the user of sDDF to bring these functions along.
Use our libc tailored for Microkit/LionsOS in this repository.
We are encountering in LionsOS that our custom sDDF printf is clashing with printf from libc. This is a temporary measure to ensure systems using libc can be built with sDDF.
We have two options to deal with this:
It is not clear what we will do yet.