Graphene Library OS - a library OS for Linux multi-process applications