#include <stdint.h>
#include <chainloader.h>
#include <hardware.h>

void main() {
	printf("%s: arm_chainloader started on ARM, continuing boot from here ...\n", __FUNCTION__);
}