[clemiclemen]

The min-sized-rust project [1], which you may already be aware of, has a lot of optimisations to decrease the size of a Rust binay. I think with all the optimisations, at the end, it was around 8kb for the hello world.

[1]: https://github.com/johnthagen/min-sized-rust