A case study: TCP/IP/CMOS kernel conversion to the iRMX operating system | IEEE Conference Publication | IEEE Xplore