/* System file for openbsd.  */

/* The same as NetBSD.  Note there are differences in configure.  */
#include "netbsd.h"

/* arch-tag: 7e3f65ca-3f48-4237-933f-2b208b21e8e2
   (do not change this comment) */