Argentum, an open-source exokernel operating system