[Android Development on Bada] adfree:
Interesting Bootloader output from Tigrouzen & ihavenick FOTA:

http://xdaforums.com/showpost.php?p=46437101&postcount=1

XXLA1 S8500 Bootloader used, if zImage nout found...

[BOOT_V1.0 (Jan 5 2012, 19:08:14)]
SelectBootingMode: H/W...0xe.
[BOOT] ARMCLK: 400000 KHz, MSYSHCLK 200000 KHz,MSYSPCLK: 100000 KHz,
[BOOT] DSYSHCLK 166750 KHz,DSYSPCLK: 83375 KHz,PSYSHCLK: 133400 KHz, PSYSPCLK: 66700 KHz,SYSCON_A2M: 200000 KHz

+++FIMD_Drv_INITIALIZE
FIMD_Drv_ChangeMode: MDNIE_MODE
Frame Rate:62	SCLK_FIMD:133400 kHz	ClkDiv:4
S6E63M0 : LDI_Pentile_Set_Change Pentile_Value =6c
---FIMD_Drv_INITIALIZE
---FIMD_Drv_SetWinOnOff(WIN4:1)
LCD initialize Finished

Flash_Unlock failed
Poweron status - 0
FSA9480 0x03 Register = 0
FSA9480 0x0A Register = 4
FSA9480 0x0B Register = 0
FSA9480 0x07 Register = 1f
SelectBootingMode: Boot Mode = 1...
Display_LSI_Boot : disp_Main_Clean
Display_LSI_Boot : disp_Main_Clean_All
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_dimming_backlight
LDI_S6E63M0_Set_Brightness is Return (Level: 1)
Display_LSI_Boot : disp_dimming_backlight
+SDHC_Open(Ch0)
univ_SD_MEM_PowerOnDevice() : Power On
univ_SD_MEM_PowerOnDevice(ch0) : MASSMEMORY_EN Power On
[SDHC] MPLL source clock from SYSCON : 667000000Hz
[SDHC] SDHC(ch0) source clock from SYSCON : 47642000Hz
[SDHC] SDHC(ch0) Operating Clock : 372203Hz
[SDHC][MMC]byte mode
SD_MEM_Phy_CMD2(ch0) : CID(127~0) : 0x150100, 0x4d324731, 0x4444164e, 0x1c2d597d
SD_MEM_Phy_Check_moviNAND_Version(ch0) : PRV - 0x16
MMC_Spec = 4
----------------CSD Version 1.0--------in low level-------------
channel: [0]
One Block Size: [512]Byte
Total card Block Count = [4014080]
Total card Capacity Size = [1960]MB
---------------------------------------------------
SD_HostCtrl_IssueCommand[ch0] not SDclk off, cmd13, SD_CLK_CTRL:0x400f
SD_MEM_Phy_TransferState(ch0) :High: Tx : SD_FeedBackClock_BasicDelay
SD_MEM_Phy_TransferState(ch0) :High: Rx : SD_FeedBackClock_InverterDelay
[SDHC] MPLL source clock from SYSCON : 667000000Hz
[SDHC] SDHC(ch0) source clock from SYSCON : 47642000Hz
[SDHC] SDHC(ch0) Operating Clock : 47642000Hz
SD_HostCtrl_IssueCommand[ch0] not SDclk off, cmd13, SD_CLK_CTRL:0xf
SD_HostCtrl_IssueCommand[ch0] not SDclk off, cmd13, SD_CLK_CTRL:0xf
-SDHC_Open(Ch0)
+SDHC_Open(Ch2)
univ_SD_MEM_PowerOnDevice() : Power On

+++++++++++++++ univ_SD_MEM_PowerOnDevice(ch2) : LDO5 Power On
[SDHC] MPLL source clock from SYSCON : 667000000Hz
[SDHC] SDHC(ch2) source clock from SYSCON : 47642000Hz
[SDHC] SDHC(ch2) Operating Clock : 372203Hz
IsValidSDSPEC20Card() : u32VHS = 0x1
Host Controller's Voltage Window Mask = 0x40300000
Response of CMD41 : 0xFF8000
GetSDCardOperationVoltageRange() : Voltage Windows = 0x100000
Operating Voltage = 0x100000
IsValidSDSPEC20Card() : u32VHS = 0x1
[SDHC] Ver2.00 or later High Capacity SD Memory Card
SD_MEM_Phy_CMD2(ch2) : CID(127~0) : 0x35344, 0x53553034, 0x47807118, 0xb33400a8
SD_MEM_Phy_Check_moviNAND_Version(ch2) : PRV - 0x71

[SDHC] => RCA=0xddc6
----------------CSD Version 2.0-----in low level ----------------
channel: [2]
One Block Size: [512]Byte
Total card Block Count = [7744512]
Total card Capacity Size = [3781]MB
---------------------------------------------------
This Media support high speed mode.
SDHC controller will be setting high speed mode.
SD_MEM_Phy_TransferState(ch2) :High: Tx : SD_FeedBackClock_BasicDelay
SD_MEM_Phy_TransferState(ch2) :High: Rx : SD_FeedBackClock_InverterDelay
[SDHC] MPLL source clock from SYSCON : 667000000Hz
[SDHC] SDHC(ch2) source clock from SYSCON : 47642000Hz
[SDHC] SDHC(ch2) Operating Clock : 47642000Hz
SD_HostCtrl_IssueCommand[ch2] not SDclk off, cmd13, SD_CLK_CTRL:0xf
-SDHC_Open(Ch2)
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
Display_LSI_Boot : disp_Main_Dload_Update
Display_LSI_Boot : disp_Main_Dload_Message
DRV_modem_reset!!!!!!!!!!!!!!!!!
DRV_Send_DBL!!!!!!!!!!!!!!!!!

Nice to see that moviNAND init is here visible:

Total card Capacity Size = [1960]MB

And my external SD card:

Total card Capacity Size = [3781]MB

Best Regards