A purely layered architecture and microkernel architecture?