Abstract: The interrupt dispatch program (IDP), a key component of an embedded real-time operating system (RTOS), plays a vital role in context switching and dispatching interrupt service routines ...