microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution