/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
42,7 → 42,7 |
#include <ddi/device.h> |
#include <mm/page.h> |
#include <arch/machine.h> |
#include <arch/debug_print/print.h> |
#include <arch/debug/print.h> |
/** Address of devices. */ |
#define GXEMUL_VIDEORAM 0x10000000 |