Arrakis is a new operating system that is designed around recent application and hardware trends: Applications are becoming so complex that they are miniature operating systems in their own right and are fighting with already established OS services. For example, a web browser needs to protect itself against untrusted scripts Read More ...