ARM support driver (untested)