/* $FreeBSD$ */

#ifndef FBSD_KGDB_POWERPC_H
#define FBSD_KGDB_POWERPC_H

#include "fbsd-kgdb.h"

#endif /* FBSD_KGDB_POWERPC_H */