Please refer NXP Semiconductors homepage.
After building TizenRT, execute below command at $TIZENRT_BASEDIR/os folder.
See [Getting the sources] for how to set TIZENRT_BASEDIR.
After building TizenRT, execute below command at os folder.
By manual commands:
./dbuild.sh download PARTITION
i.e. os$ ./dbuild.sh download ALL
os$ ./dbuild.sh download kernel wifi
When you command download with unavailable PARTITION name, it shows HELP message with available partition names.
By an interactive tool:
./dbuild.sh menu
======================================================
"Select build Option"
======================================================
"1. Build with Current Configurations"
"2. Re-configure"
"3. Menuconfig"
"4. Build Clean"
"5. Build Dist-Clean"
"d. Download"
"x. Exit"
======================================================
d
==================================================
"Select download option"
==================================================
"1. ALL"
"2. OS"
"x. Exit"
==================================================
1