MINIX goes x86 for Mini HD

MINIX is perhaps best known for cranking out uber-mini PCs and PCs-on-a-stick powered by ARM chips.