Raspberry Pi 2 config file ARCH = aarch32 BOARD = raspi2 CONFIG_USE_DLMALLOC = 1 # This board does not have a hardware clock (RTC). CONFIG_USE_FAKE_CLOCK = 1