$ cd /somedir/tudos
$ svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init http://svn.tudos.org/repos/oc/tudos fiasco l4re l4linux_requirements
==========================================================================
$ mkdir -p /path/to/obj/tudos
==========================================================================3. L4 linux : configure and build. (Failure)==========================================================================$ cd /somedir/tudos/src/kernel/fiasco$ make BUILDDIR=/path/to/obj/fiasco $ cd /path/to/obj/fiasco $ make menuconfig $ make==========================================================================
==========================================================================To configure according to my board(Freescale i.MX6q_sabre_sd), I was able to choice two kinds.$ cd /somedir/tudos $ svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux $ cd l4linux $ mkdir /path/to/obj/l4linux $ make L4ARCH=arm CROSS_COMPILE=arm-linux- O=/path/to/obj/l4linux arm_defconfig # In the menu, in "L4Linux configuration", set "L4 tree build directory" to /path/to/obj/tudos $ make L4ARCH=arm CROSS_COMPILE=arm-linux- O=/path/to/obj/l4linux menuconfig==========================================================================
System type -> ARM system type (L4 Linux)
Build type (Use ARMv7)
==========================================================================
entry L4Linux_xs_2
kernel fiasco -nokdb
roottask moe rom/l4linux.cfg
module l4linux.cfg
module l4re
module ned
module vmlinuz.arm
module ramdisk-arm.rd=====================================================================================================================================================
U-Boot 2009.08 (Aug 16 2013 - 12:04:20)
CPU: Freescale i.MX6 family TO1.2 at 792 MHz
Thermal sensor with ratio = 180
Temperature: 44 C, calibration data 0x5764ba7d
mx6q pll1: 792MHz
mx6q pll2: 528MHz
mx6q pll3: 480MHz
mx6q pll8: 50MHz
ipg clock : 66000000Hz
ipg per clock : 66000000Hz
uart clock : 80000000Hz
cspi clock : 60000000Hz
ahb clock : 132000000Hz
axi clock : 264000000Hz
emi_slow clock: 132000000Hz
ddr clock : 528000000Hz
usdhc1 clock : 198000000Hz
usdhc2 clock : 198000000Hz
usdhc3 clock : 198000000Hz
usdhc4 clock : 198000000Hz
nfc clock : 24000000Hz
Board: i.MX6Q-SABRESD: unknown-board Board: 0x63012 [POR ]
Boot Device: SD
I2C: ready
DRAM: 1 GB
MMC: FSL_USDHC: 0,FSL_USDHC: 1,FSL_USDHC: 2,FSL_USDHC: 3
In: serial
Out: serial
Err: serial
i2c: I2C3 SDA is low, start i2c recovery...
I2C3 Recovery success
Found PFUZE100! deviceid=10,revid=11
Net: got MAC address from IIM: 00:04:9f:02:70:b5
FEC0 [PRIME]
Hit any key to stop autoboot: 0
mmc2 is current device
MMC read: dev # 2, block # 2048, count 17408 ... 17408 blocks read: OK
## Booting kernel from Legacy Image at 10800000 ...
Image Name: L4 Image #7
Image Type: ARM Linux Kernel Image (uncompressed)
Data Size: 7680000 Bytes = 7.3 MB
Load Address: 11000000
Entry Point: 11000000
Verifying Checksum ... OK
Loading Kernel Image ... OK
OK
Starting kernel ...
=========================================Setting environment variable and bootcmd , i have thought the setting is no problem. This kernel image is wrong?
System type ---> ARM system type (Allow multiple platforms to be selected)
Multiple platform selection ---> ARMv7 based platforms (Cortex-A, PJ4, Scorpion, Krait)
Build type
Freescale i.MX family
Freescale i.MX support ---> i.MX6 Quad/DualLite support
GEN /path/to/obj/l4linux/Makefile scripts/kconfig/conf --silentoldconfig Kconfig ERROR: CONFIG_ARM_PATCH_PHYS_VIRT must not be enabled. make[1]: *** [check_linux_config] Error 1 make: *** [sub-make] Error 2<My question 2.> Why can not build L4 linux according to this config ? and What is CONFIG_ARM_PATCH_PHYS_VIRT ?
Regards, Taeung Song | Student of Computer Engineering Hansung University.