Do we need some way to entirely disable all IO from HAL based drivers? This would be to avoid conflict with a proper IO driver if unexpected HAL output happens. One way to do this would be to have generic NOP channels which are the equivalent of /dev/null
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=23398