Hardware implementation of context switching for hard real-time operating systems | IEEE Conference Publication | IEEE Xplore