Linux as a UNIX clone, will never use anything else other than C.
Replacing C in MirageOS sounds more likely.
Linux as a UNIX clone, will never use anything else other than C.
Replacing C in MirageOS sounds more likely.