Does anyone know why Intel would pick Minix? I can understand not picking Linux, from a licencing perspective, but surely some BSD would have been easier to hire for and more likely to have a modern upstream.
Actually I would be interested to see an official confirmation by Intel that they indeed still use Minix, and which version of it. So far all such claims I'm aware of came from third parties.
