#ifndef KERNEL_H
#define KERNEL_H

#include <stdint.h>

extern const uint64_t _hhdm_offset;

#endif