COOL-2: an object oriented support platform built above the Chorus micro-kernel | IEEE Conference Publication | IEEE Xplore