/* minix/kernel/interface.h - All interfaces the kernel needs.  */

#ifndef _KERNEL_IF_H_
#define _KERNEL_IF_H_

#include <minix/type.h>
#include <archtypes.h>

#endif /* #ifndef _KERNEL_IF_H_ */