A simple but fully-functional 8086 RTOS