4. Platform and Operating Systems (OS) 4.1. tenAsys INtime 4.1.1. Setting up and running EcSimulatorHilDemo 4.1.2. OS Compiler settings 4.2. Linux 4.2.1. OS optimizations 4.2.1.1. CPUIDLE sub-system 4.2.1.2. CPUFREQ sub-system 4.2.1.3. ISOLCPUS 4.2.2. atemsys kernel module 4.2.2.1. atemsys as Device Tree Ethernet Driver 4.2.2.2. atemsys and PHY OS Driver 4.2.3. Unbind Ethernet Driver instance 4.2.3.1. Unbind from kernel driver 4.2.3.2. Unload kernel driver 4.2.4. Docker 4.2.5. Setting up and running EcSimulatorHilDemo 4.2.5.1. Run in Docker container 4.2.6. OS Compiler settings 4.2.7. Build using cmake on Linux 4.2.8. Cross-platform development under Windows 4.3. QNX Neutrino 4.3.1. Thread priority 4.3.2. Unbind Ethernet Driver instance 4.3.3. IOMMU/SMMU support 4.3.4. Setting up and running EcSimulatorHilDemo 4.3.5. OS Compiler settings 4.4. IntervalZero RTX 4.4.1. Unbind Ethernet Driver instance 4.4.2. Setting up and running EcSimulatorHilDemo 4.4.3. OS Compiler settings 4.5. Windriver VxWorks 4.5.1. VxWorks native 4.5.2. SNARF Ethernet Driver 4.5.3. Setting up and running EcSimulatorHilDemo 4.5.4. OS Compiler settings 4.6. Microsoft Windows 4.6.1. EcSimulatorHilDemo 4.6.2. OS Compiler settings 4.6.3. RtaccDevice for Real-time Ethernet Driver 4.7. Xenomai 4.7.1. Setting up and running EcSimulatorHilDemo 4.7.2. OS compiler settings