Structuring the kernel as a toolkit of extensible, reusable components | IEEE Conference Publication | IEEE Xplore