Tools for the VIDC console used by NetBSD/arm32 on RiscPC