Minix is the most popular PC operating system

Intel ME was found to run MINIX.
New exploits gained full access with jtag via usb.
If remote exploits occur, millions of intel PC will be affected.
https://www.networkworld.com/article/3236064/servers/minix-the-most-popular-os-in-the-world-thanks-to-intel.html
https://www.techdirt.com/articles/20171108/09095338574/recent-intel-chipsets-have-built-in-hidden-computer-running-minix-with-networking-stack-web-server.shtml
http://www.tomshardware.com/news/google-removing-minix-management-engine-intel,35876.html
https://hexus.net/tech/news/software/111857-intel-management-engine-runs-minix-3-os/
https://www.sswug.org/bentaylor/editorials/minix-intel-cpus/
https://www.bleepingcomputer.com/news/hardware/intels-secret-cpu-on-chip-management-engine-me-runs-on-minix-os/
http://www.marksei.com/minix-operating-system-intel-computer/
https://linustechtips.com/main/topic/856633-intel-cpus-are-running-minix-in-addition-to-your-os-of-choice/
https://www.linuxtoday.com/infrastructure/minix-intels-hidden-in-chip-operating-system-171107090526.html

http://www.zdnet.com/article/minix-intels-hidden-in-chip-operating-system/

Whome programming language is this?