[ECOS] question about MBX redboot source

[Nohee Ko]

Hi.
I'm trying to use modified MBX redboot on my board.
my board  is not MBX board but is MPC860-used board.
So there are couple of problems to use MBX redboot source.
for example, different address map, different external clock, etc...
But most of all, I'd like to know more about mbx.S ,assembly source.
look at below,

 #ifdef CYG_HAL_STARTUP_ROM
	# move return address to where the ROM is
	mflr	r3
	andi.	r3,r3,0xffff
	oris	r3,r3,0xfe00
	mtlr	r3
#endif

	blr
FUNC_END( hal_hardware_init )

above routine is end of hal_hardware_init.
But I wonder of the next step from ending of hal_hardware_init function.
I don't think there is clue in source.

MBX redboot source says falsh size = 0x800000 and memory size =
0x400000. is that right? 

and I want to rom(flash) startup redboot code. so what should I concern
to do that?

and one more , 
can I get symbol table after compiling redboot source? and where?

thank you.