static void
return_to_loader()
{
void (*loader_start1)();
loader_start1 = (void*) (*(unsigned*)0x40);
if (loader_start1) {
(*loader_start1)();
}
}
}
'edk' 카테고리의 다른 글
| BootLoader, user jump (0) | 2012.02.02 |
|---|---|
| float value를 string으로 바꿔주는 함수 및 사용법 (0) | 2012.01.10 |
| SP605, reconfiguration, icap을 사용시 주의할 점 (0) | 2011.12.08 |
| 2개 MB가 DDR3에 있는 비트 파일을 BRAM을 통해 전달 (0) | 2011.12.06 |
| shell (0) | 2011.12.02 |