Kexec for MSM8255
Kernel execute bypass boot and bios
Moboot verry small open source boot loader for MSM8X55 :
I try to read again memory dump )
thanks for links...
i find,what samsung used OKL4 Microkernel 3.0 (maybe 4.0)
About ver 4.0 --
The OKL4 Microvisor is designed from the ground up as a high-performance mobile virtualization platform. It is a microkernel-based embedded hypervisor - called a Microvisor, with a small footprint and the right combination of performance and hardware support to target mobile telephony use. The OKL4 Microvisor 4.0 is distinguished by supporting mobile virtualization, componentization, and security, enabling a new generation of applications and capabilities with impact across the mobile ecosystem.
OKL4(with Qualcomm RTOS) also used in modem AMSS