Hacker News Reader

> I may run Minix again on my old Lenovo T430u from 2012.

If your old Lenovo has vPro/Intel AMT - then you already are running Minix.

For sure, and that makes MINIX the most widely used consumer OS!

And, you're running Minix on a 486.