>> MINIX 3 allows drivers to crash just like other userland programs under Linux
>Does MINIX support IOMMU when available to really prevent the driver from affecting the rest of the system?
No, this is not supported but would certainly fit design goals of MINIX.