Excellent system that exemplified effective use of the capability model. Anyone aiming to learn or develop secure OS's should read on this plus look up the successor for x86, EROS by Shapiro. EROS had a secure kernel, persistance, robust network stack, and more secure GUI. Worth building on.

Note: Look up Coyotos kernel as they mention a few EROS attributes you might improve or change.