users April 2016

users@lists.genode.org

19 participants
16 discussions

netperf
by Анна Будкина 07 Jun '16

07 Jun '16

Hello! I'm running netperf TCP_STREAM and TCP_MAERTS tests for lxip stack and i obtained extremely low result - 5x10^6 bits/s while the maximum throughput is 1000 mbit/s . I wonder what could be the reason for that. Anna

6 16

FYI: microkernel.info community site
by Jakub Jermář 17 May '16

17 May '16

Hello, just FYI, I have set up a simple web page[1] to promote the wider microkernel community and its goals. So far, the page comes with a brief description of the microkernel concept and an incomplete list of microkernel projects with links to each project's web. The description is made out of the first two sentences I found in the "What is XYZ" section or elsewhere on the web of the respective project. I also took the freedom to use the respective project's logo (or what I believed was the project's logo) for promoting it. I hope you will find this small web a good idea. It was inspired by a similar (though a little bit more informative) site set up by the unikernel community [2]. The sources of the [1] web are hosted on Github [3], so feel free to submit issues or PR to make the site better. Please send me a PM if there are any issues pertaining your project's cartouche that cannot be dealt with using Github. Thanks, Jakub [1] http://microkernel.info [2] http://unikernel.org/projects/ [3] https://github.com/jermar/microkernel.info

7 8

Re: Reagaring Genode and USB Armory
by Agrawal, Utkarsh 03 May '16

03 May '16

Hello, The initial steps of compilation and building the SD card were not clear. It took me few days to understand whats going on with the building procedure. I will share the script file soon. There are some changes I am making to it. Then maybe you can incorporate it into the repository. I see that the wiki got updated. Thanks for that. Here is the link to the output: http://pasted.co/7ff78388 Thank You Utkarsh ________________________________________ From: Martin Stein <martin.stein@...1...> Sent: Tuesday, April 26, 2016 2:19 PM To: Agrawal, Utkarsh Subject: Re: Reagaring Genode and USB Armory I have answered your last mail on the mailing list [1]. It has the same subject line as this mail. Cheers, Martin [1] genode-main(a)lists.sourceforge.net Am 22.04.2016 um 11:17 schrieb Agrawal, Utkarsh: > Hello, > > Yes, I think it is a good time that we move it to the mailing list. How shall we do it? > > Thank You > Utkarsh > > ________________________________________ > From: Martin Stein <martin.stein@...1...> > Sent: Wednesday, April 20, 2016 5:07 PM > To: Agrawal, Utkarsh > Subject: Re: Reagaring Genode and USB Armory > > Hey Utkarsh, > > I would like to move this discussion to the mailing list at this point. > > Do you agree with that? > > Cheers, > Martin > > Am 20.04.2016 um 08:01 schrieb Agrawal, Utkarsh: >> Hello, >> >> I was able to Install ootloader, Genode, and the Linux rootfs. Thanks a lot for your guidance. I have compiled a script which does all this task easily. I would love to contribute this to the community, and would like to know how can I do it. >> >> Next steps as I see are: >> 1. Connect USB Armory to host machine via USB-to-TTL serial cable. >> 2. Connect to USB Armory COM port. >> 3. Insert USB Armory into host USB slot and interrupt auto boot on COM port. >> 4. Send bootloader commands on COM port: >> 5. Linux login: The login and password of the Linux guest are both "usbarmory" >> >> I hope the above steps are pretty straight forward, and there should be no issues there. >> >> Also, at [1], they mention about this "make ARCH=arm zImage LOADADDR=0x80008000 modules". I am not sure what image they are talking about, when am I supposed to do this step. >> >> Next I would like to know how do I start working on TrustZone with Genode. Can you guide me on how to start with a sample application which switches between Normal and Secure World? >> >> Thank You >> Utkarsh Agrawal >> >> [1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_inversepath… >> ________________________________________ >> From: Agrawal, Utkarsh >> Sent: Friday, April 15, 2016 11:12 PM >> To: Martin Stein >> Subject: Re: Reagaring Genode and USB Armory >> >> Hello, >> >> Thank for you the reply. I just noticed that the subject of the email has a typo. Maybe I was in a hurry when writing the first mail. :) >> >> I am sure that I was in the mentioned branch. I will try [2] after I have the basic setup running of Genode. >> >> >> I have been trying to use [1]. But I get some errors. Following are the steps I have followed: >> >> I cloned the master branch of https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_… at /home/genode/genode-master on my computer. >> >> I changed the following variables: >> export TARGET_DEV=/dev/sdc # empty boot medium >> export TARGET_MNT=/home/mnt # where to mount the boot medium >> export GENODE_DIR=/home/genode/genode-master # root of the Genode sources >> export BUILD_DIR=/path/build/hw_usb_armory # Genode build directory >> >> I am not so sure if the build directory should be what I mentioned there. I just chose a directory randomly. >> >> After this, I realized that in the :Install Genode: step there is no etc/build.conf file. I looked at /home/genode/genode-master and /home/genode/genode-master/repos/os/. >> >> To fix that I executed ./tool/create_builddir hw_usb_armory at /home/genode/genode-master >> Now I got a build directory with build.conf in hw_usb_armory folder. >> >> I copied over the build.conf to /home/genode/genode-master/repos/os/etc >> >> Next I tried running make run/tz_vmm.run. But now it just says that make: 'tz_vmm.run' is up to date. I don't think that the build process ever started. >> >> I am not sure if I am missing any steps here. >> >> Thank You >> Utkarsh >> >> >> ________________________________________ >> From: Martin Stein <martin.stein@...1...> >> Sent: Friday, April 15, 2016 3:06 PM >> To: Agrawal, Utkarsh >> Subject: Re: Reagaring Genode and USB Armory >> >> Hi Utkarsh, >> >> Am 14.04.2016 um 19:30 schrieb Agrawal, Utkarsh: >>> I landed on [2], using the USB Armory page for Genode[3]. The script fails at this line "make usbarmory_defconfig". It says something like the target was not found for make. >> >> I was not able to reproduce this but I noticed that [3] doesn't >> reference the appropriate branch in my linux repo. Are you sure that >> you're using the 'genode_hw_usb_armory_tz_vmm' branch as mentioned in [2]? >> >>> So as you said, for our own Linux guest, we can use [2]. Just to have a clear idea on this, will I have to combine partial instructions from [1], and the rest from [2] to be able to run our own guest? >> >> Script [2] copies the images (linux, dtb, rootfs) that are normally >> downloaded by script [1] to $TARGET_DIR so you want to 'export >> TARGET_DIR=<YOUR_GENODE_BUILD_DIR>/bin' under ':User settings:' in >> script [2]. So, if you examine script [2] first, script [1] afterwards >> automatically uses the custom images instead of downloading others. >> >>> Also, I request you to kindly look at [3], and put up relevant details there. As because of [3] I was going around in circles, and could have never landed on [1]. >> >> Thank you for the hint. I will redirect it to the Inversepath staff. The >> content of the wiki is up to them and I would suggest you to preferably >> use [1] and [2] for the Genode-related stuff. >> >> Cheers, >> Martin >> >> [1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_… >> >> [2] >> https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_m-2Dstein_g… >>

2 3

Re: Reagaring Genode and USB Armory
by Martin Stein 26 Apr '16

26 Apr '16

<Discussion moved from my private mail to the Genode mailing list> Hi Utkarsh, Regarding your installation script: I think, it is a good idea to share your experience with the community. However, I don't see which steps of this process are not covered yet by [1] and [2]. If there are such pitfalls, please let me know. If you agree, I would directly add them to [1] resp. [2]. Regarding the Wiki [3]: It was updated and, as I think, now gives a clearer view of the way towards a Genode hypervisor on the USB Armory. Regarding your USB-connection issue: IMO, the USB events that your dmesg shows are not from the integrated USB of the USB Armory but the UART-to-USB converter you've attached to the device. So, apparently you're missing feedback from the host controller at all. Could you please send the UART output of your USB Armory for further analysis? Cheers, Martin [1] https://github.com/genodelabs/genode/blob/master/repos/os/run/tz_vmm.run#L9 [2] https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/RE… [3] https://github.com/inversepath/usbarmory/wiki/Genode-OS Am 26.04.2016 um 06:57 schrieb Agrawal, Utkarsh: > I have been able to send bootloader commands on COM port. But I am not able to ssh in to the machine. I do not see any usb0 interface. I followed the "CDC Ethernet" section of [1]. > When I move on to "Setup & Connection Sharing: Linux" section, and when I execute "/sbin/ip link set usb0 up", it says that the interface is not found. > > I have tried disabling the nework manager(sudo service network-manager stop), and then executing the steps. But still usb0 is not identified. > > Any advice on how to proceed with this? > > Below is the dmesg: > [ 7325.602965] usb 1-1: new full-speed USB device number 11 using xhci_hcd > [ 7325.736411] usb 1-1: New USB device found, idVendor=0403, idProduct=6001 > [ 7325.736413] usb 1-1: New USB device strings: Mfr=1, Product=2, SerialNumber=3 > [ 7325.736415] usb 1-1: Product: FT232R USB UART > [ 7325.736415] usb 1-1: Manufacturer: FTDI > [ 7325.736416] usb 1-1: SerialNumber: AL00JG5C > [ 7325.739007] ftdi_sio 1-1:1.0: FTDI USB Serial Device converter detected > [ 7325.739049] usb 1-1: Detected FT232RL > [ 7325.739231] usb 1-1: FTDI USB Serial Device converter now attached to ttyUSB0 > > > Thank You > Utkarsh Agrawal > > [1] https://github.com/inversepath/usbarmory/wiki/Host-communication > > Am 20.04.2016 um 08:01 schrieb Agrawal, Utkarsh: >> Hello, >> >> I was able to Install ootloader, Genode, and the Linux rootfs. Thanks a lot for your guidance. I have compiled a script which does all this task easily. I would love to contribute this to the community, and would like to know how can I do it. >> >> Next steps as I see are: >> 1. Connect USB Armory to host machine via USB-to-TTL serial cable. >> 2. Connect to USB Armory COM port. >> 3. Insert USB Armory into host USB slot and interrupt auto boot on COM port. >> 4. Send bootloader commands on COM port: >> 5. Linux login: The login and password of the Linux guest are both "usbarmory" >> >> I hope the above steps are pretty straight forward, and there should be no issues there. >> >> Also, at [1], they mention about this "make ARCH=arm zImage LOADADDR=0x80008000 modules". I am not sure what image they are talking about, when am I supposed to do this step. >> >> Next I would like to know how do I start working on TrustZone with Genode. Can you guide me on how to start with a sample application which switches between Normal and Secure World? >> >> Thank You >> Utkarsh Agrawal >> >> [1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_inversepath… >> ________________________________________ >> From: Agrawal, Utkarsh >> Sent: Friday, April 15, 2016 11:12 PM >> To: Martin Stein >> Subject: Re: Reagaring Genode and USB Armory >> >> Hello, >> >> Thank for you the reply. I just noticed that the subject of the email has a typo. Maybe I was in a hurry when writing the first mail. :) >> >> I am sure that I was in the mentioned branch. I will try [2] after I have the basic setup running of Genode. >> >> >> I have been trying to use [1]. But I get some errors. Following are the steps I have followed: >> >> I cloned the master branch of https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_… at /home/genode/genode-master on my computer. >> >> I changed the following variables: >> export TARGET_DEV=/dev/sdc # empty boot medium >> export TARGET_MNT=/home/mnt # where to mount the boot medium >> export GENODE_DIR=/home/genode/genode-master # root of the Genode sources >> export BUILD_DIR=/path/build/hw_usb_armory # Genode build directory >> >> I am not so sure if the build directory should be what I mentioned there. I just chose a directory randomly. >> >> After this, I realized that in the :Install Genode: step there is no etc/build.conf file. I looked at /home/genode/genode-master and /home/genode/genode-master/repos/os/. >> >> To fix that I executed ./tool/create_builddir hw_usb_armory at /home/genode/genode-master >> Now I got a build directory with build.conf in hw_usb_armory folder. >> >> I copied over the build.conf to /home/genode/genode-master/repos/os/etc >> >> Next I tried running make run/tz_vmm.run. But now it just says that make: 'tz_vmm.run' is up to date. I don't think that the build process ever started. >> >> I am not sure if I am missing any steps here. >> >> Thank You >> Utkarsh >> >> >> ________________________________________ >> From: Martin Stein <martin.stein@...1...> >> Sent: Friday, April 15, 2016 3:06 PM >> To: Agrawal, Utkarsh >> Subject: Re: Reagaring Genode and USB Armory >> >> Hi Utkarsh, >> >> Am 14.04.2016 um 19:30 schrieb Agrawal, Utkarsh: >>> I landed on [2], using the USB Armory page for Genode[3]. The script fails at this line "make usbarmory_defconfig". It says something like the target was not found for make. >> >> I was not able to reproduce this but I noticed that [3] doesn't >> reference the appropriate branch in my linux repo. Are you sure that >> you're using the 'genode_hw_usb_armory_tz_vmm' branch as mentioned in [2]? >> >>> So as you said, for our own Linux guest, we can use [2]. Just to have a clear idea on this, will I have to combine partial instructions from [1], and the rest from [2] to be able to run our own guest? >> >> Script [2] copies the images (linux, dtb, rootfs) that are normally >> downloaded by script [1] to $TARGET_DIR so you want to 'export >> TARGET_DIR=<YOUR_GENODE_BUILD_DIR>/bin' under ':User settings:' in >> script [2]. So, if you examine script [2] first, script [1] afterwards >> automatically uses the custom images instead of downloading others. >> >>> Also, I request you to kindly look at [3], and put up relevant details there. As because of [3] I was going around in circles, and could have never landed on [1]. >> >> Thank you for the hint. I will redirect it to the Inversepath staff. The >> content of the wiki is up to them and I would suggest you to preferably >> use [1] and [2] for the Genode-related stuff. >> >> Cheers, >> Martin >> >> [1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_… >> >> [2] >> https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_m-2Dstein_g… >>

1 0

Re: [tz_vmm] Build error (#2)
by Martin Stein 21 Apr '16

21 Apr '16

Hey Yevgeny, Am 17.04.2016 um 09:09 schrieb Yevgeny: > Yes, I've already tried: make run/tz_vmm, however, it doesn't create the > *uImage* in the *var/run/tz_vmm/* directory. A run script merely contains the common set-up of a Genode scenario. Thus, it doesn't create bootloader-specific output like a uImage. For such customization there is the file <builddir>/etc/build.conf. In your case you would need to add a line: RUN_OPT += --include image/uboot This is also documented in [1]. I think it would be the best if follow the tutorial in there. It describes the complete process how to create a bootable SD card with the tz_vmm script. > I started off with this tutorial: > https://github.com/inversepath/usbarmory/wiki/Genode-OS and everything > went fine untill this point: cp var/run/tz_vmm/uImage to SD_CARD. Err: > no such file or directory" The Wiki recently was updated as the previous version seemed to cause misconceptions. Please check out the new version. > I've taken the following steps provided in the first link of you msg. > export TARGET_DEV=/dev/sdX > cd genode-16.02 > ./tool/create_builddir hw_usb_armory > ./tool/create_uboot hw_usb_armory > sudo dd if=contrib/uboot/build/hw_usb_armory/mmc_img of=$TARGET_DEV > bs=1K seek=1 conv=fsync > cd genode-16.02/build/hw_usb_armory/ > echo "RUN_OPT += --include image/uboot" >> etc/build.conf > make run/tz_vmm > > and ended up with the following error: > > couldn't execute "mkimage": no such file or directory I assume thta this is related to the above problems. Could please give it another try? > > if instead of echo "RUN_OPT += --include image/uboot" >> etc/build.conf > I change RUN_OPT = --include boot_dir/hw to RUN_OPT = --include > boot_dir/hw image/uboot the build succeeds but no uImage gets created. There is missing an --include after boot_dir/hw. > I'm using clean Ubuntu 15.10 VM, Genode15.05 x86-64 tool chain, and the > latest version of Genode 16.02 That should be fine. If you try using the wrong tool chain, the build system should tell you and stop. Cheers, Martin [1] https://github.com/genodelabs/genode/blob/master/repos/os/run/tz_vmm.run Am 08.04.2016 um 11:08 schrieb Martin Stein: > Hey Yevgeny, > > If you only want to try the default setup, you can simply use the run > script [1] by doing 'make run/tz_vmm' in your build directory. The > script automatically downloads a precompiled Linux image. Have you tried > that? > > If you're really interested in customizing your Normal World Linux, > there is also a link in the run script to a detailed explanation on how > to compile the images [2]. I assume that your approach fails because of > the wrong toolchain. Does the tutorial fix your problem? > > Cheers, > Martin > > [1] https://github.com/genodelabs/genode/blob/master/repos/os/run/tz_vmm.run > > [2] > https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/RE… > > Am 05.04.2016 um 21:49 schrieb Yevgeny: >> I'm trying to compile Genode for usbarmory. After executing this command >> *make ARCH=arm zImage LOADADDR=0x80008000 modules* from the root dir of >> the downloaded linux kernel, it gives me the following error. >> >> Makefile:664: Cannot use CONFIG_CC_STACKPROTECTOR_STRONG: >> -fstack-protector-strong not supported by compiler >> CHK include/config/kernel.release >> CHK include/generated/uapi/linux/version.h >> CHK include/generated/utsrelease.h >> make[1]: 'include/generated/mach-types.h' is up to date. >> CC kernel/bounds.s >> gcc: error: unrecognized argument in option ‘-mabi=apcs-gnu’ >> gcc: note: valid arguments to ‘-mabi=’ are: ms sysv >> gcc: error: unrecognized command line option ‘-mlittle-endian’ >> gcc: error: unrecognized command line option ‘-mapcs’ >> gcc: error: unrecognized command line option ‘-mno-sched-prolog’ >> Kbuild:35: recipe for target 'kernel/bounds.s' failed >> make[1]: *** [kernel/bounds.s] Error 1 >> Makefile:980: recipe for target 'prepare0' failed >> make: *** [prepare0] Error 2 >> >> Please advise >> >> — >> You are receiving this because you are subscribed to this thread. >> Reply to this email directly or view it on GitHub >> <https://github.com/m-stein/linux/issues/2> >>

1 0

Is Foasco+Genode support sched_yield()?
by unknown＠example.com 20 Apr '16

20 Apr '16

Hi, all I use genode-16.02.tar.bz2 and prepare as follow. make -C repos/base-foc/ prepare ./tool/ports/prepare_port libc Then compile run/thread, it works well. ./tool/create_builddir foc_x86_64 BUILD make -C build_foc_x86_64/ run/thread I need call sched_yield() in this demo, but it dose not work. Is libc support sched_yield() on Fiasco+Genode? How can I use sched_yield()? int main(): transferred 111 MB to init int main(): --- init created, waiting for exit condition --- [init -> test-pthread] int sched_yield(): sched_yield not implemented -------------------------------------------------------- ZTE Information Security Notice: The information contained in this mail (and any attachment transmitted herewith) is privileged and confidential and is intended for the exclusive use of the addressee(s). If you are not an intended recipient, any disclosure, reproduction, distribution or other dissemination or use of the information contained is strictly prohibited. If you have received this mail in error, please delete it and notify us immediately.

1 0

Re: Fiasco.OC thread execution time
by Georg Guba 20 Apr '16

20 Apr '16

Hello Stefan, oh wow. What a beginner's mistake. Thank you. Of course I cast the message register wrong (missing a & there). It seems to be working now: time = *(l4_kernel_clock_t*)&l4_utcb_mr()->mr[0]; Thanks a lot. Best regards, Georg On 23 February 2016 at 09:53, Stefan Kalkowski < stefan.kalkowski@...1...> wrote: > Hello Georg, > > On 02/22/2016 06:38 PM, Georg Guba wrote: > > I'm trying to implement Platform_thread::execution_time() for Fiasco.OC. > > However, when using the code below, I'm getting a null pointer error when > > trying to read the UTCB's message register: > > > > Possible null pointer READ at 0 IP 704c0d7c > > > > unsigned long long Platform_thread::execution_time() const > > { > > unsigned long long time = 0; > > > > if (_utcb) > > { > > l4_thread_stats_time(_thread.local.dst()); > > time = *(l4_kernel_clock_t*)l4_utcb_mr()->mr[0]; > > } > > > > return time; > > } > > > > The doc for l4_thread_stats_time(...) says > > > > /** > > * \brief Get consumed timed of thread in µs. > > * \ingroup l4_thread_api > > * \param thread Thread to get the consumed time from. > > * > > * The consumed time is returned as l4_kernel_clock_t at UTCB message > > * register 0. > > */ > > L4_INLINE l4_msgtag_t > > l4_thread_stats_time(l4_cap_idx_t thread) L4_NOTHROW; > > > > So my usage should be about right. > > What am I missing? > > although, this is a bit off-topic and I did not used the mentioned > kernel feature till now (you might refer to the l4-hackers mailing-list > when having further questions regarding Fiasco.OC and L4Re), I'll try to > help you. > > It seems you expected a pointer in the UTCB to the time structure, but > it is surely a value (the kernel wouldn't know where to deposit the > value aside of the UTCB, it doesn't do memory allocations on behalf of > user tasks). > > When searching for the right usage of "l4_thread_stats_time", I came > across this post on the l4-hackers mailinglist: > http://os.inf.tu-dresden.de/pipermail/l4-hackers/2012/005419.html > > I hope it helps. > > Regards > Stefan > > > > > > > > > > ------------------------------------------------------------------------------ > > Site24x7 APM Insight: Get Deep Visibility into Application Performance > > APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month > > Monitor end-to-end web transactions and take corrective actions now > > Troubleshoot faster and improve end-user experience. Signup Now! > > http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140 > > > > > > > > _______________________________________________ > > genode-main mailing list > > genode-main(a)lists.sourceforge.net > > https://lists.sourceforge.net/lists/listinfo/genode-main > > > > -- > Stefan Kalkowski > Genode Labs > > http://www.genode-labs.com/ · http://genode.org/ > > > ------------------------------------------------------------------------------ > Site24x7 APM Insight: Get Deep Visibility into Application Performance > APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month > Monitor end-to-end web transactions and take corrective actions now > Troubleshoot faster and improve end-user experience. Signup Now! > http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140 > _______________________________________________ > genode-main mailing list > genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main >

2 2

Problem with the AHCI driver
by Charles HH 18 Apr '16

18 Apr '16

Hello, I'm trying to create a custom Turmvilla-like scenario on my computer, but I'm running into a problem similar to the one Nobody III experienced ( https://sourceforge.net/p/genode/mailman/genode-main/thread/20150601102048.…) : when trying to access a physical hard disk with ahci_drv and part_blk, both components are launched, and ahci_drv reports the ATA device correctly, but the session is never built (part_blk hangs somewhere in the Driver constructor and ahci_drv never executes the _create_session function of Root_multiple_clients). The test run script works perfectly on Qemu however, and the content of the drive is read correctly. I experienced the same issue on my laptop, but I couldn't get any debug information because it doesn't have a serial port. Enabling or disabling IOMMU didn't affect the outcome. Did I miss something or is the hardware I'm using simply unsupported (the computer from which the linked logs where obtained is a Dell Optiplex 7010 with a c216 chipset) ? Should I open a new issue on the GitHub ? Regards, Charles

3 2

Some inter thread/component communication questions
by Menno Valkema 14 Apr '16

14 Apr '16

Hi Everyone, I've some questions with regards to Genode synchronization features between threads and components. First a question about packet streams: 1) Can we expect the packet streams to deliver packets in order to the other component as a FIFO? Thus: can we expect the packet submitted first, to be delivered first at the other component? Also when bursts of packets are send through the packet stream? Other questions are with regards to synchronization between multiple threads within the same component: 2) Say we have 2 threads in the same component, where Thread A needs to sleep until an event occurs in Thread B. How to address this? If A and B were components, signals would be the answer. Would signals also work between threads within the same component or is there some other approach? 3) What if those same 2 threads need to exchange data? When data is shared between components, shared memory would be the answer. How to approach this with 2 threads within the same component. Setup a shared data space? Do those 2 threads share the same heap which we can use for this exchange? Thanks for thinking along. Kind regards, Menno PS. The first question is a repost, I noticed in my previous email the subject was partially discarded. Sorry about that. -- Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands | https://nlcsl.com

3 4

Shared Memory in tz_vmm demo
by Joseph Lee 14 Apr '16

14 Apr '16

Hi, I used "*dma_alloc_coherent( )"* as described in this thread ( https://sourceforge.net/p/genode/mailman/message/34685275/) to allocate shared memory between the trustzone worlds in the tz_vmm example on i.mx53 qsb. It works well. But my questions is how do we prevent the normal world from modifying this shared buffer while it is being used by the secure world. Thanks in advance for answers. Kind regards, Joseph

3 5

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users April 2016