Goals: create new OS written in Ada language mostly, to help promote Ada; design via typical modern, pragmatic methods; microkernel supporting efficient IPC; fully distributed; advanced secure object system maybe using CORBA.