#ifndef __FENNIX_KERNEL_STUB_STDINT_H__
#define __FENNIX_KERNEL_STUB_STDINT_H__

#include <types.h>

#endif // !__FENNIX_KERNEL_STUB_STDINT_H__