The role of language technology in trustworthy operating systems