void spl_main(void)
{
    init();
	memset((void*)0xa0000000, 0, 1024*1024);
    uint32_t* ptr_1 = (uint32_t*)0xa0000000;
    uint32_t* ptr_2 = (uint32_t*)0xa0000400;
	*ptr_1 = 0xaa;
	*ptr_2 = 0xbb;
    return;
}