Chorus [noun] + microkernel [noun]