Yeah that sounds a lot like nolibc which is basically a libc-ish shim that's in ...

		seabrookmx 3 months ago \| parent \| context \| favorite \| on: Upcoming Rust language features for kernel develop... Yeah that sounds a lot like nolibc which is basically a libc-ish shim that's in the Linux kernel tree.