ZEOS: an OS from scratch