This is basically just a stub OS. For something with "distributed" in the name, there should probably be a network stack... or at least (since this is an exokernel) some sort of networking library.