I think that is a relevant question because in related news, Intel didn't acknowledge MINIX. https://www.zdnet.com/article/minix-intels-hidden-in-chip-operatin

I think that is a relevant question because in related news, Intel didn't acknowledge MINIX. https://www.zdnet.com/article/minix-intels-hidden-in-chip-operating-system/ https://www.zdnet.com/article/minix-intels-hidden-in-chip-op...