Evolution of the CHORUS open microkernel architecture: the STREAM project | IEEE Conference Publication | IEEE Xplore