[pjmlp]

Here is one of the places where you can see the reference to C compiler being available.

https://inferno-os.org/solutions/embedded