On 1/21/22 22:26, Hendrik Boom wrote:
[snip]
> Whatever the licence then, it seems to have ended up with a sufficiently
> free licence for Intel to put a copy of it in the management engine in
> their CPUs for the last decade or so *without informing Tannenbaum*.
> Tannenbaum was miffed; he said the licence allowed this, but he would
> have liked to have been informed.

That move probably makes MINIX the most widely used operating system
around these days:

https://www.networkworld.com/article/3236064/minix-the-most-popular-os-in-the-world-thanks-to-intel.html

There is at least one recorded lecture by Andrew Tannenbaum about MINIX
at the BSD conferences because it mainly has a NetBSD userspace.

/Lars