Added microkernel devroom description.