Develop Trustzone support for imx6
chiragdthinker at ...9...
Tue Apr 21 07:10:33 CEST 2015
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.
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 :
In the hw_sabrelite_tz_support branch tz_vmm_mx6 will work as tz_vmm
Genode as normal world :
Switch application in the hw_sabrelite_tz_normal_os branch will serve you
as a linux (for normal world) kernel image in tz_vmm.
IIT Madras , Rise Lab
On Tue, Apr 21, 2015 at 8:20 AM, thong <thong at ...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
> 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
> genode-main mailing list
> genode-main at lists.sourceforge.net
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users