Long time ago there was a project to rewrite Linux userspace in Ada, but it died... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pjmlp on Feb 2, 2020 \| parent \| context \| favorite \| on: Buffer overflow when pwfeedback is set in sudoers Long time ago there was a project to rewrite Linux userspace in Ada, but it died due to lack of support. Also there are userspace rewrites in Go and OCaml.

pdimitar on Feb 2, 2020 [–]

Could you point us at them?

vips7L on Feb 2, 2020 | | [–]

Core utils in Rust: https://github.com/uutils/coreutils

pdimitar on Feb 2, 2020 | | | [–]

Awesome, thank you.

pjmlp on Feb 2, 2020 | | [–]

CoreBoot port to Rust, started by Ron Minnich.

https://github.com/oreboot/oreboot

Userspace in Go for Core Boot/OreBoot, also started by Ron Minnich.

http://u-root.tk/

Similar effort for the PI,

https://gokrazy.org/

F-Secure Go's bare metal implementation, https://github.com/f-secure-foundry/tamago

For OCaml, there is https://ocaml.github.io/ocamlunix/.

And then all the utilities that come out from MirageOS and Xen projects.

pdimitar on Feb 2, 2020 | | [–]

Extremely useful, thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact