1/*
2 * XXX: it would be nice to be possible to flag some kind of
3 * never-fatal warning message here.
4 */
5
6#include <rump-sys/kern.h>
7