Hi Chirag garg,

Thanks for your help. I tried to build your hw_sabrelite_tz_support branch as follow:
RUN_OPT="--target uboot" make run/tz_vmm_mx6

Then it was success and result an image in var/run/tz_vmm_mx6/image.elf.
I converted it to binary:
/usr/local/genode-gcc/bin/genode-arm-objcopy -O binary var/run/tz_vmm_mx6/image.elf var/run/tz_vmm_mx6/sabrelite.bin After copied sabrelite.bin to sdcard, I try to boot but it was hang as below:

Hit any key to stop autoboot:  0
MX6Q SABRESD U-Boot > fatload mmc 2:1 0x10001000 sabrelite.bin
reading sabrelite.bin

17674240 bytes read
MX6Q SABRESD U-Boot > go 10001000
## Starting application at 0x10001000 ...

Please correct me what I am wrong.
Thank you so much,
--Thong Nguyen.

On 4/21/2015 2:10 PM, chirag garg wrote:
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 <th...@iritech.com <mailto:th...@iritech.com>> 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/imx53/README.
    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
    <mailto:genode-main@lists.sourceforge.net>
    https://lists.sourceforge.net/lists/listinfo/genode-main




------------------------------------------------------------------------------
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

------------------------------------------------------------------------------
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

Reply via email to