A microkernel-based resource loading manager on geographic information technology platform | IEEE Conference Publication | IEEE Xplore