tree 1a398964f7a77052745789cb3f675c33ee0e3352
parent 6b2bbe624dca4947793287927da0dea294d18970
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1556256841 +1000
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1556256841 +1000

libsel4platsupport: use ioports on x86, not !ARM

The config test for using ioports was being matched on RISCV platforms.