Tizen 3.0 Porting Guide/Kernel Fundamentals
The kernel is the operating system that drives the platform. Here the kernel refers to the open source Linux kernel that is customized for the Tizen platform. The following section gives a brief overview about the Tizen kernel setup, configuration, and the build procedure for building a Linux kernel for your Tizen platform. The output of the kernel binary is a
zImage merged with
devicetree or the
devicetree binary that is suitable for boot loader of the specific board. If you have chosen for a secure booting configuration in your boot loader, this kernel image must be compatible with your boot loader.
For more detailed information about Tizen kernel configuration and kernel building, see Kernel Build.
| Tizen uses |
If you want to use
initramfs, you can use these configurations: