Hi all, I am a newbie in embedded linux system, and my team is starting to integrate our biometric identification solution into the board i.MX6Q-SABRESD using Secure OS on Trustzone. After take a research around, I decide to try start with Genode on imx53_tablet_demo at https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/im.... I tried to modify base-hw/src/core/kernel/kernel.cc to add a code line PDBG("Hello\n") at the beginning of main routine void kernel() and expected to receive a "Hello" message on my Serial Terminal. I followed the instructions in README and be success to build the Genode with command line: RUN_OPT="--target uboot" make run/printf I use pre-built u-boot-mx6dl-sabresd.bin from Freescale. When I try to boot my Genode build in var/run/printf/ it just stopped at "Starting kernel..." message:
U-Boot 2009.08 (Aug 16 2013 - 12:04:20)
CPU: Freescale i.MX6 family TO1.2 at 792 MHz Thermal sensor with ratio = 187 Temperature: 48 C, calibration data 0x59e4ff7d 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:e0:39 FEC0 [PRIME] Hit any key to stop autoboot: 0 MX6Q SABRESD U-Boot > fatload mmc 2:1 0x20000000 uImage_imx6_tz reading uImage_imx6_tz
359877 bytes read MX6Q SABRESD U-Boot > bootm 20000000 ## Booting kernel from Legacy Image at 20000000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 359813 Bytes = 351.4 kB Load Address: 10001000 Entry Point: 10001000 Verifying Checksum ... OK Uncompressing Kernel Image ... OK
Starting kernel ...
I highly appreciate any respond to help me on this. Thank you very much in advance. --Thong Nguyen.