#ifndef __NUTSHELL_H__
#define __NUTSHELL_H__

#include <klib-macros.h>

#include ISA_H // "x86.h", "mips32.h", ...

# define RTC_ADDR     0x3800bff8
# define SCREEN_ADDR  0x40001000
# define SYNC_ADDR    0x40001004
# define FB_ADDR      0x50000000

#endif
