During the late 90's there was an effort of redoing a Linux userspace in Ada, unfortunately the effort died out without much progress.