Is the ThreadX OS hidden behind Intel ME also hidden behind your BIOS since
mid 2006 in EVERY Intel-based hw systems?
Starting with ME 11:
MINIX was chosen as the basis for the operating system (previously, ThreadX
RTOS had been used). Now ME firmware includes a full-fledged operating system
with processes, threads, memory manager, hardware bus driver, file system,
and many other components.
http://blog.ptsecurity.com/2017/08/disabling-intel-me.html
MINIX. Tanenbaum's OS, under a pushover license. A perfect example of the
relevance of copyleft...