#define CONFIG_SYS_TIMER_RATE 1000000
#endif
-#define CONFIG_SYS_STDIO_DEREGISTER
-
/*
* Number of bits in a C 'long' on this architecture. Set this to 32 when
* building on a 32-bit machine.
#define CONFIG_ANDROID_BOOT_IMAGE
#define CONFIG_CMD_PCI
-#define CONFIG_PCI_PNP
#define CONFIG_CMD_IO
#define CONFIG_FS_FAT
#define CONFIG_DOS_PARTITION
#define CONFIG_EFI_PARTITION
#define CONFIG_ISO_PARTITION
-#define CONFIG_MAC_PARTITION
/*
* Size of malloc() pool, before and after relocation
#define CONFIG_BOOTARGS ""
-#define CONFIG_BOARD_LATE_INIT
-
#ifndef SANDBOX_NO_SDL
#define CONFIG_SANDBOX_SDL
#endif