Minoca OS: A new lightweight kernel, completely from scratch