/*
 * XXX: it would be nice to be possible to flag some kind of
 * never-fatal warning message here.
 */

#include <rump-sys/dev.h>