3 extern char __bootphase2_src_start__
, __bootphase2_start__
, __bootphase2_end__
;
4 void __attribute__((section(".bootphase1"))) CopyBootToRAM(void)
8 volatile DWORD
*s
= (volatile DWORD
*)&__bootphase2_src_start__
;
9 volatile DWORD
*d
= (volatile DWORD
*)&__bootphase2_start__
;
10 unsigned int l
= (int)&__bootphase2_end__
- (int)&__bootphase2_start__
;
12 for(i
= 0; i
< l
/sizeof(DWORD
); i
++) *d
++ = *s
++;