users

users@lists.genode.org

1 participants
2310 discussions

TrustZone: Access in Normal world
by chirag garg 07 Apr '15

07 Apr '15

Hi all I am running Genode 15.02 over the I.MX6 board. I tried to run tz_vmm script to run another Genode kernel image in normal world which running successfully. Also, I am able to switch from Normal world to the secure world and vice-versa. Now I want to access some secure resources from the Normal world to see TrustZone enable features. So i write a small application "switch" with the help of IO_mem_connection and mmio class which access the secure RAM region used by the secure world but nothing happens there it is executing normally in Normal world. What kind of behavior is expected from the Normal world on this access? I am using UART-2 in both the world to print the messages. On the other hand, when i make UART-2 secure in csu.h then normal world doesn't execute at all and DATA ABORT exception occurred. I guess, I have to do some thing with CSU(csu.h) and TZASC (tsc_380.h) to see the TrustZone enable expected behavior. Please, Let me know where i could be wrong or what i can do to proceed further in this direction ? Thanks in advance. Regards Chirag Garg IIT Madras , Rise Lab

2 1

Write to specific memory address
by Vincent Raes 07 Apr '15

07 Apr '15

Hello, I am working with TrustZone using Genode and I am trying to pass data from the secure world to the normal world and vice versa. The problem lies with the fact that the normal world can only access a certain part of the RAM memory the board has to offer so all the data I want to give to the normal world has to be placed somewhere it can access. And I can't seem to figure out how to place data at a specific address using Genode. When I try to use pointers to the wanted memory location, the error "No RM attachment" keeps popping up. This may very well be caused by the fact I am using a pointer to a place that does not yet has a valid data object in it. I believe the correct answer has something to do with the use of dataspaces but am not sure how or what kind of dataspace I need to use for random data I generate myself. Thanks in advance for any advice. Best regards, Vincent

2 5

Genode on QEMU TrustZone
by Mauro Suardi 07 Apr '15

07 Apr '15

Hi! I've read your paper about TrustZone and I'd like to test Genode on the secure side of an architecture with TrustZone on Qemu (I've found on the web a TrustZone QEMU). How can I do it? Thank you! Mauro

2 1

Microkernel Meetup
by Björn Döbel 04 Apr '15

04 Apr '15

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi all, it is time for another Microkernel Meetup! As many regulars seem to be travelling mid/late April, I suggest we go to B'liebig, LiebigstraÃe 24 http://b-liebig.de/ either on April 7 or on April 9. Please participate in the Dudle so I can reserve a table: https://dudle.inf.tu-dresden.de/uks0415/ Also, please distribute this email to anyone you think might be interested in coming. Cheers, Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlUSfX0ACgkQP5ijxgQLUNmsjQCeP07bdeWG7cANxiaT2U1DqT+N 9+EAmQH4tcieJL4S1VAiOkOCJaGQqsJG =XTl6 -----END PGP SIGNATURE-----

1 1

imx53 trustzone boot (Freescale iMX53-QSB)
by Ofer Hasson 30 Mar '15

30 Mar '15

Hello, I'm currently exploring arm trustzone with genode, I managed to run the example and run my own normal world linux kernel. Is there a way to chain load normal world operating system, load another u-boot file in the normal world ? is there a technical problem doing so ? Any input no the subject will be very helpful. Thanks

2 2

how to get the value of REV？
by Lee gary 30 Mar '15

30 Mar '15

Hi all. I know the REV(git) in the port file is hash of the current version.but i don't know how to get the value of REV？ Thanks

2 1

SD card driver for Freescale i.MX6 in Genode
by Praveen B 29 Mar '15

29 Mar '15

Dear all, We have developed a Genode device driver for USDHC card reader for Freescale i.MX6 procesor. You may find the corresponding code in the repository, https://github.com/srinivasprv/genode The specific driver code is available in usdhc directory of sd_card directory. We have tested the driver with L4Linux. The test procedure was done by copying and moving files, as large as 1GB, multiple times across different partitions of SD card. The expected behavior and actual behavior matched in all cases. Request you to review the code and offer comments. We would also like to know if this can be integrated into the next version of Genode release. Look forward to your review comments. Regards Praveen Srinivas IIT Madras

4 13

Port Genode to Samsung Exynos4
by unknown＠example.com 26 Mar '15

26 Mar '15

Hi! everyone, As a beginner,i'm a little confused about porting Genode to samsung exynos4.I found the answer about porting samsung exynos5 by Norman Feske in mailing list and used as a guideline（I use fiasco.oc as kernel\change base-hw to base-foc),but i have met a problem during compiling. I just want to know if there are some specific reasons？ The problem i'm encountering is: Command:make run/printf It exit after "genode build completed,using……"(at the last) and there is no image.elf file in the var directory. -------------------------------------------------------------------------------------------------------------------------- …… …… /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: overriding commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: ignoring old commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: overriding commands for target `clean_contrib' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: ignoring old commands for target `clean_contrib' Program sigma0/l4f/sigma0 ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/sigma0/server/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling support.o ... Compiling ARCH-x86/crt0.o ... Compiling init.o ... Compiling memmap.o ... Compiling page_alloc.o ... Compiling mem_man.o ... Compiling io_backend.o ... Compiling init_mem.o ... Compiling ioports_x86.o ==> Linking sigma0 ==> "sigma0" built ==> Installing sigma0 to local build-tree /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: overriding commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:40: warning: ignoring old commands for target `clean_includes' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: overriding commands for target `clean_contrib' /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/repos/base-foc/mk/spec-foc.mk:43: warning: ignoring old commands for target `clean_contrib' Program bootstrap/bootstrap ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/drivers-frst/include/.general.d ... Updating symlinks ... Updating symlinks ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/drivers-frst/of/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling of.o ==> Archiving into libdrivers_of.a ==> "libdrivers_of.a" built ==> Installing libdrivers_of.a to local build-tree ... Updating symlinks ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/drivers-frst/uart/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling uart_dummy.o ... Compiling uart_pl011.o ... Compiling uart_sa1000.o ... Compiling uart_pxa.o ... Compiling uart_omap35x.o ... Compiling uart_imx.o ... Compiling uart_s3c2410.o ... Compiling uart_of.o ... Compiling uart_leon3.o ... Compiling uart_dcc-v6.o ==> Archiving into libdrivers_uart.a ==> "libdrivers_uart.a" built ==> Installing libdrivers_uart.a to local build-tree ... Building /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4/pkg/bootstrap/server/src/.general.d ... Building .general.d ... Building Makefile.inc ... Generating bootstrap.ld ... Compiling exec.o ... Compiling module.o ... Compiling ARCH-x86/crt0.o ... Compiling region.o ... Compiling startup.o ... Compiling init_kip_v2.o ... Compiling init_kip_v4.o ... Compiling libc_support+.o ... Compiling patch.o ... Compiling koptions.o ... Compiling platform/x86_pc.o ... Compiling base_critical.o ... Compiling ARCH-x86/reboot.o ==> Linking bootstrap.elf ==> "bootstrap.elf" built ==> Installing bootstrap to local build-tree make[1]: Leaving directory `/home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4' genode build completed using fiasco kernel /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/kernel/fiasco.oc/fiasco using sigma0/bootstrap at /home/xxxx/genode-60e5ec532d0094fc8e9906b5ddbd5e066a8143e9/fexynos4/l4 --------------------------------------------------------------------------------------------------------------------------- That's all,then it exit. Thanks A beginner 发自 Windows 邮件

2 1

port Genode to samsung exynos4
by unknown＠example.com 25 Mar '15

25 Mar '15

1 0

virtual box and video isolation
by Tim Newsham 24 Mar '15

24 Mar '15

Hi, I was wondering how the virtualbox implementation on top of genode/nova fares against this type of attack: https://hsmr.cc/palinopsia/ is 3d acceleration used? is there strong isolation of the video memory? -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

3 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users