10:10 <mithro> _florent_: Have you seen https://github.com/keith-packard/picolibc - it might be a better replacement for the libbase related partial libc that litex ships with. With lto enabled it might enable a *much* smaller BIOS binary?

10:10 <tpb> Title: GitHub - keith-packard/picolibc: picolibc (formerly newlib-nano) (at github.com)

14:52 <_florent_> mithro: no i haven't investigated a lot on that since don't really have issues with bios size on the design i'm using LiteX with. But i'll look at that, do you have an idea how much smaller the BIOS binary could be?

15:53 <mithro> Maybe as much as 50% it seems