#ifndef KERNEL_UTIL_H
#define KERNEL_UTIL_H

#include "../cpu/types.h"

#endif //KERNEL_UTIL_H