Nanvix: A Distributed Operating System