#ifndef __FENNIX_KERNEL_SYSTEM_H__ #define __FENNIX_KERNEL_SYSTEM_H__ #include <types.h> #endif // !__FENNIX_KERNEL_SYSTEM_H__