users

users@lists.genode.org

3 participants
2349 discussions

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

Help with RaspberryPI USB on Fiasco.OC+Genode
by Reinier Millo Sánchez 24 Mar '15

24 Mar '15

Hi GenodeOS and L4-Hackers community I'm trying to use DWC_OTG USB Driver for RaspberryPI, using Fiasco.OC as microkernel with Genode. I have tested the USB driver using Genode bare metal hardware on RaspberryPI and works fine. I have reviewed the post published by Simon Arlott about the FIQ and Bell IRQ: http://permalink.gmane.org/gmane.linux.kernel.rpi/438 Also I have reviewed the correction implemented by Norman Feske in the IRQ controller for Genode bare metal hardware: repos/base-hw/src/core/include/spec/rpi/pic.h To use Fiasco.OC as microkernel in Genode I have adapted the patch published in: http://sourceforge.net/p/genode/mailman/message/33071769/ Based on it, i have tried to use the same idea of Norman Feske, modifying the Fiasco.OC's IRQ's controller as shown below: ------ kernel/fiasco/src/kern/arm/bsp/bcm2835/mem_layout-arm-bcm2835.cpp ------ index aab5906..4385ebe 100644 @@ -8,5 +8,6 @@ public: Pic_phys_base = 0x2000b200, Watchdog_phys_base = 0x20100000, Uart_phys_base = 0x20201000, + Usb_dwc_otg_base = 0x20980000, }; }; ---------- kernel/fiasco/src/kern/arm/bsp/bcm2835/pic-arm-bcm2835.cpp ---------- index 20ed280..13fa623 100644 @@ -7,6 +7,83 @@ IMPLEMENTATION [arm && bcm2835]: #include "irq_mgr.h" #include "mmio_register_block.h" #include "kmem.h" +#include "warn.h" + +class Usb_dwc_otg : Mmio_register_block{ +private: + enum{ + Core_irq_status_reg = 0x14, + Guid_reg = 0x3c, + Host_frame_number_reg = 0x408, + }; + bool is_sof() const { return read<Mword>(Core_irq_status_reg)&0x8; } +}; + +PUBLIC +Usb_dwc_otg::Usb_dwc_otg() +: Mmio_register_block(Kmem::mmio_remap(Mem_layout::Usb_dwc_otg_base)) +{ + + write<Mword>(read<Mword>(Guid_reg)&0x3FFFC000, Guid_reg); +} + +PRIVATE +static bool +Usb_dwc_otg::need_trigger_sof(Mword host_frame, Mword scheduled_frame) +{ + Mword const max_frame = 0x3fff; + + if (host_frame < scheduled_frame) { + if (scheduled_frame - host_frame < max_frame / 2) + return false; /* scheduled frame not reached yet */ + else + return true; /* scheduled frame passed, host frame wrapped */ + } else { + if (host_frame - scheduled_frame < max_frame / 2) + return true; /* scheduled frame passed */ + else + return false; /* scheduled frame wrapped, not reached */ + } +} + +PUBLIC +bool +Usb_dwc_otg::handle_sof() +{ + if (!is_sof()) + return false; + + static Mword cnt, stat_cnt, filter_cnt, kick_cnt, trigger_cnt; + + stat_cnt++; + if (stat_cnt == 8000) { + WARN("kicked: %d filtered: %d triggered: %d", kick_cnt, filter_cnt, trigger_cnt); + stat_cnt = 0; + } + + cnt++; + if (cnt == 8*20) { + cnt = 0; + return false; + } + + if (read<Mword>(Guid_reg)&0x40000000) + kick_cnt++; + + if ((!read<Mword>(Guid_reg)&0x80000000) || (read<Mword>(Guid_reg)&0x40000000)) + return false; + + if (Usb_dwc_otg::need_trigger_sof(read<Mword>(Host_frame_number_reg)&0x3fff, read<Mword>(Guid_reg)&0x3fff)) { + trigger_cnt++; + return false; + } + + filter_cnt++; + + write<Mword>(read<Mword>(Core_irq_status_reg)|0x8, Core_irq_status_reg); + + return true; +} class Irq_chip_bcm : public Irq_chip_gen, Mmio_register_block { @@ -29,6 +106,9 @@ public: bool is_edge_triggered(Mword) const { return false; } void set_cpu(Mword, Cpu_number) {} void ack(Mword) { /* ack is empty */ } + +private: + Usb_dwc_otg _usb; }; PUBLIC @@ -97,6 +177,11 @@ Irq_chip_bcm::irq_handler() { b = 0; p = read<Mword>(Irq_pending_1); + if(p==8){ + if(_usb.handle_sof()){ + return; + } + } } else if (p & 0x200) { I have tried to test the *usb_hid *example on Genode using Fiasco.OC as microkernel make run/usb_hid The example compiles fine. When I test it in the emulator QEMU get the following output KERNEL: Warning: kicked: 0 filtered: 0 triggered: 7950 KERNEL: Warning: kicked: 0 filtered: 0 triggered: 15900 KERNEL: Warning: kicked: 0 filtered: 0 triggered: 23850 KERNEL: Warning: kicked: 0 filtered: 0 triggered: 31800 When have tested it on real hardware never get the kernel warning. It seems that the *Kick* and *Num_valid* bits are not modified by the USB driver. After that, I have tried to log the USB driver IRQ, setting #define DEBUG_IRQ 1 in the file repos/dde_linux/src/lib/usb/include/lx_emul.h Setting this value, the USB driver will log every IRQ handled by the function *_handle()* and *_handle_one()***in the USB driver. In the Genode bare metal hardware it works fine, but when tried it with Fiasco.OC, the IRQ handler *_handle()* and *_handle_one()* are never logged. There's something wrong in my implementation? Someone has tested the USB driver using Fiasco.OC and Genode together? Why Fiasco.OC's IRQ's controller is not calling the IRQ's handler defined in the USB driver? I'm using Genode commit 63293950261bfb17497433c36a3d62e6e1d813b3, Fiasco.OC r56 and DWC_OTG commit d08b205cfe01925667f3591117b6d3e1087b4e19. Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users