Hello, Taeung! As far as L4Linux is just an application, you'd better start with making bootable "Hello world" example in order to check yourself. Have you succeeded in that?
17.03.2014, 13:11, "taeung" <[email protected]>: > Hello L4 hackers. > > I have two question (My question 1, 2 ). please help me. > > I'm trying to boot 'L4Linux + L4re + Fiasco' in Freescale i.MX6 Quad SABRE SD > board (Cortex-A8, ARMv7-A). > > Such as.. > > 0. Get Source and install required package. > > $ 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 > > 1. L4 Re : configure and build (Success) > > ========================================================================== $ > mkdir -p /path/to/obj/tudos $ make O=/path/to/obj/tudos oldconfig $ make > O=/path/to/obj/tudos -j2 > > ========================================================================== > 2. Fiasco : configure and build (Success) > > ========================================================================== $ > cd /somedir/tudos/src/kernel/fiasco $ make BUILDDIR=/path/to/obj/fiasco $ cd > /path/to/obj/fiasco $ make menuconfig $ make > ========================================================================== > 3. L4 linux : configure and build. (Failure) > (Here, i have trouble to build l4 linux after configure according to my board > ) > > ========================================================================== > > $ 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 > ========================================================================== > To configure according to my board(Freescale i.MX6q_sabre_sd), I was able to > choice two kinds. > > <The first > > > System type -> ARM system type (L4 Linux) Build type (Use ARMv7) > <Result of the first > > > 1) Sucess build L4 linux and i got 'vmlinuz.arm' > 2) 'make uImage' according to module.list > > ========================================================================== > 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 > > ========================================================================== > 3) i make SD Card bootable by u-boot.bin and bootstrap.uImage > > 4) Booting L4Linux + L4re + Fiasco in Freescale i.MX6q_sabre_sd > > But, i have problem to boot it. > > =========================================================================== > 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 ... > ========================================= > > <My question 1.> Why hang at 'Starting kernel ...' ? > > Setting environment variable and bootcmd , i have thought the setting is no > problem. This kernel image is wrong? > > <The Second > > > 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 > <Result of the second > > > i could not build l4 linux because.. > > 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 ? > > Please any help.. > > Regards, Taeung Song | Student of Computer Engineering Hansung University. > , > _______________________________________________ > l4-hackers mailing list > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
