Hello Thong,
It seems, you are trying to run i.mx53 image on the i.mx6 board if that is the case it will not work. To run the printf script over the imx6 platform you should try out the latest master branch of Genode on git hub that have the imx6 support without trustzone. https://github.com/genodelabs/genode
For the TrustZone support on imx6 SABRE Lite board our team is also working at IIT Madras , As of now we are able to run Genode(secure world) beside Genode(normal world) so you can take a look at IIT Madras repository as the initial starting point.
Genode as secure world : https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support In the hw_sabrelite_tz_support branch tz_vmm_mx6 will work as tz_vmm
Genode as normal world : https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_normal_os Switch application in the hw_sabrelite_tz_normal_os branch will serve you as a linux (for normal world) kernel image in tz_vmm.
Regards
Chirag Garg IIT Madras , Rise Lab
On Tue, Apr 21, 2015 at 8:20 AM, thong <thong@...323...> wrote:
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.
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT Develop your own process in accordance with the BPMN 2 standard Learn Process modeling best practices with Bonita BPM through live exercises http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_ source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main