Re: base-hw kernel binaries

A little addition on that: In base-hw, in contrast to other base repositories, the kernel and Core work together and trust each other - they even share the same virtual address space. There's also not a clear distinction between C++ sources of the kernel and those of the rest of Core. However,

Re: base-hw kernel binaries

Hi Johannes, El 11/04/18 a las 14:17, Johannes Kliemann escribió: > Is there a way to build this binary with more debug information. And > more generally how are the kernel part and core separated in hw (which > isn't as easy as with other kernels that use a port)? In base-hw, the kernel is

Re: base-linux IRQ session

Hi Johannes, El 13/03/18 a las 13:36, Johannes Kliemann escribió: > Hi all, > > I'm currently implementing the IRQ session on base-linux. > If I understood the Foundations book correctly interrupts are waiting in > a separate thread that locks when it is waiting and continues (and calls > the

Re: 32 bit overflow in timer

El 05/03/18 a las 15:29, Christian Helmuth escribió: > A small remark... > > On Mon, Mar 05, 2018 at 02:49:18PM +0100, Martin Stein wrote: >> For greater timeouts you could use msleep(unsigned) (up to 49 >> days and 17 hours). > > This will not work as msleep(ms) just

Re: 32 bit overflow in timer

An addition... El 05/03/18 a las 14:49, Martin Stein escribió: > I printed sizeof(unsigned) (Timer::Connection::usleep takes unsigned), > and it says 4. ... on x86 64 ;) Martin -- Check out the vibrant tech com

Re: 32 bit overflow in timer

Hi Johannes, El 18/02/18 a las 12:01, Johannes Kliemann escribió: > Hi all, > > I noticed a 32 bit overflow in the Timer::Connection sleep functions and > triggers. > Calling usleep or trigger_once with an hour (3 600 000 000 us) works but > calling it with two hours (7 200 000 000 us) causes

Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC

Hi Josef, During the last weeks I was out of office which is why this answer is a bit delayed. El 26/02/18 a las 21:26, Josef Stark escribió: > Hello, > > I circumvented the problem of finding the correct dataspace by letting > the pagefault handler open another ROM connection to the binary at

Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC

Hi Josef, El 29/01/18 a las 15:22, Stark, Josef escribió: >> At least in the current Genode release, the 'unresolved_page_fault' flag >> is set in [1] hence in [2] when giving up resolving the fault in core >> and consigning to the userland handler. I assume you're using a patched >> fork of an

Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC

Hi Josef, El 25/01/18 a las 18:28, Stark, Josef escribió: >> As you should be the parent of the traced component, you can intercept >> the CPU session and remember all thread capabilities created by the >> component. On a fault you iterate through all threads to select those >> that are currently

Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC

Hi Josef, El 12/01/18 a las 16:51, Stark, Josef escribió: > Step 4 is relatively easy and already working, so I now have an app that > pagefaults > and gets resumed repeatedly at the same address and ip since I couldn't > implement > the rest of the steps so far. The reason is that I can't

Re: Disk images for ARM based Genode Scenarios

Hi, On 04.01.2018 16:51, Alexander Boettcher wrote: > Hello, > > On 02.01.2018 19:42, Baconicsynergy via genode-main wrote: >> I built a simple log Genode scenario for wand_quad for testing purposes, and >> I am previously used to receiving iso images for x86_32/x86_64. >> >> However, there is

Re: Sabre Lite imx6

Hi Joel, Am 28.12.2017 um 23:39 schrieb Baconicsynergy via genode-main: > Hello friends :) I am now the proud owner of the sabre lite imx6 SoC for > the purpose of experimenting and running seL4, and am really eager to > start building Genode scenarios. Unfortunately, the create_builddir tool >

Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC

Hi Josef, Am 07.12.2017 um 21:57 schrieb Stark, Josef: > ... > Program core/pbxa9/core > COMPILE environ.o > COMPILE err.o > COMPILE file.o > In file included from > /home/josef/git/ptc_hdl_env/os/src/drivers/timer/hw/pbxa9/../platform_timer.h:21:0, > from >

Re: Genode on i.MX6Q Sabre Lite

Hi Yevgeny, Stefan, Am 08.11.2017 um 11:29 schrieb Stefan Kalkowski: > Actually, I have no idea why the HW kernel should not work for you. We > test it all night, and currently _all_ tests for HW on Wandboard are > green. I can confirm the trouble you experience with init.run and > bomb.run on

Re: Base-hw kernel GIC issue with a Cortex--A7 processor.

Hi Bob, Am 12.10.2017 um 01:33 schrieb Bob Stewart: > A big oops by me Martin on the register declarations. I had forgotten the > bitfield format was a position a followed by length type as opposed to start > and end bit positions. This is why I wrote you an explanation of the Bitfield

Re: Base-hw kernel GIC issue with a Cortex--A7 processor.

Hi Bob, Am 09.10.2017 um 23:44 schrieb Bob Stewart: >Regarding IAR/EOIR register definitions, I too was using version 2.0 of > the Architecture document, document number ARM IHI 0048B.b ID072613. > What I see on pages 4-135 and 4-138 are tables defining the bit fields as: > > [12:10] CPUID

Re: Base-hw kernel GIC issue with a Cortex--A7 processor.

Hi Bob, Am 08.10.2017 um 22:06 schrieb Bob Stewart: > Hi, > I'm bringing up the 17.08 base-hw kernel/core on an NXP IMX6ULL SoC, which > uses a Cortex A7 single core processor, and am having issues creating the > singleton instance of the GIC after kernel initialization. In short the > attempt

Re: VirtualBox with Networking

Hi Chris, I would stay debugging the DHCP problem instead of switching to static IPs. I assume that there is no problem with the bridge or the VMs. Maybe you can send the NIC dump output so we can see more clearly what is going on. If you use my branch merge_to_staging [1], you can also configure

Re: VirtualBox with Networking

Hi Chris, If you intercept the NIC connections between your bridge and the vbox's with the NIC dump component, you can compare the packets for your two usecases. A good example of how to use the nic_dump can be found in libports/run/nic_dump.run. There it intercepts the NIC connection between

Re: create_uboot dependencies?

Any advice or examples would be much appreciated. > > Thanks, > Steve > > > On 08/18/2017 07:10 AM, Martin Stein wrote: >> Hi Steven Harp, >> >> Thank you for this hint! >> It's obviously a bug in the 'create_uboot' tool. The tool uses the Genode >

Fwd: Re: create_uboot dependencies?

Hi Steven, Thank you for this hint! It's obviously a bug in the 'create_uboot' tool. The tool uses the Genode tool chain and since the last update of this tool cain I didn't test whether they're still fine with each other. One quick work-around for you would be to download the 16.05 toolchain

Re: execution time on RPI.

Hi Mohammad, Am 02.08.2017 um 16:36 schrieb Mohammad Hamad: > I am trying to measure the execution time of a function on RPI model B. > > I used the "Trace::timestamp" function to calculate it. In the same > time, I used the elapsed_ms() function to compare with it. > > as I understood, the

Re: execution time on RPI.

Hi Mohammad, Am 02.08.2017 um 16:36 schrieb Mohammad Hamad: > I am trying to measure the execution time of a function on RPI model B. > > I used the "Trace::timestamp" function to calculate it. In the same > time, I used the elapsed_ms() function to compare with it. > > as I understood, the

Re: execution time on RPI.

Hi Mohammad, Am 02.08.2017 um 16:36 schrieb Mohammad Hamad: > I am trying to measure the execution time of a function on RPI model B. > > I used the "Trace::timestamp" function to calculate it. In the same > time, I used the elapsed_ms() function to compare with it. > > as I understood, the

Re: Porting LibVMI

Hi Miguel, For the basics of porting to Genode there's a porting guide [1]. Then, have a look what LibVMI needs as backend functionality and try to match it to the Trustzone VMM implementation respectively the VM session interface. I hope that helps. Cheers, Martin [1]

Planning of Hack'n'Hike 2018 gathering

Hey guys, Like in the past years, the Hack'n'Hike 2017 was a big success to us. We had a great hike through the Zittauer mountain landscape, enjoyed the view from atop of several extraordinary rock formations, and visited the beautiful monastery ruin in Oybin. >From the hacking perspective,

Re: Genode on i.MX6 (eMMC Flash)

Hi Kranthi Tej, Am 16.04.2017 um 16:15 schrieb Kranthi Tej: > Following up on the previous email, I've stumbled upon something while > debugging. I've debugged the enable_mmu_and_caches function line by > line. I've discovered that the lines which involved the address worked > fine. It stops at:

Re: Genode on i.MX6Q Sabre Lite

Hey Yevgeny. Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov: > Hi, > > Thanks for the hints. I managed to solve the sd_card_bench issue. > I've tried to print out completion state as Martin suggested by making > the following changes to: > /repos/os/src/drivers/sd_card/spec/imx/driver.cc > >

Re: Genode on i.MX6Q Sabre Lite

Hi Yevgeny, Am 29.03.2017 um 10:53 schrieb Yevgeny Lavrov: > Thank you for providing me this list, Stefan. I ran every single script > from this list on my Sabre Lite, and the majority of them succeeded, > except the following three: bomb, part_blk, and sd_card_bench. > The sd_card_bench gave me

Fwd: Re: [Genode] Suggestion about mailing list subject

lutters up small screens and makes subject lines difficult to read on mobile. I'm not sure what the problem is with filtering messages for these folks. On 7 Feb 2017 07:52, "Martin Stein" <martin.st...@genode-labs.com <mailto:martin.st...@genode-labs.com>> wrote: I persona

Re: [Genode] Suggestion about mailing list subject

I personally let my mail client filter my mails by the destination address into separate folders. This works fine for me. But if an additional prefix is desired, why not. Cheers, Martin Am 07.02.2017 um 12:20 schrieb Parfait Tokponnon: > Hello, > Personally, I think this is very useful, > I

Re: Deprecated warnings

Hi Boris, Am 07.02.2017 um 09:15 schrieb Boris Mulder: > This fixes most of the warnings, but some still persist (from -Wcpp). > > On 06-02-17 18:49, Martin Stein wrote: >> >> You have to add the line 'CC_OPT += -Wno-deprecated-declarations' to >> your '/etc/too

Re: Deprecated warnings

Hi Boris, You have to add the line 'CC_OPT += -Wno-deprecated-declarations' to your '/etc/tools.conf'. You probably have to create this file first. Did that help you? Cheers, Martin Am 06.02.2017 um 16:58 schrieb Boris Mulder: > Hi all, > > Whenever I compile my source with the latest version

Re: Roadmap 2017

... I forgot: * Bring the Trustzone VMM demo with a Linux guest to i.MX6 Martin -- Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot

Re: Roadmap 2017

Hello, My plans for this year: * Enhance the Timeout framework to use the performance counters for time interpolation and RTCs for timestamps * A server for DHCP and dynamic NIC router configurations to enable dynamic network configuration * More automated testing of block drivers and

Re: Inheriting from Mmio class

08.12.2016 um 15:37 schrieb Martin Stein: > Hi Johannes, > > We actually had an internal discussion about such an approach. As far as > I remember, it was in the context of the Zynq drivers. I absolutely like > the idea of using the Mmio framework with different back-ends. I think &

Re: Inheriting from Mmio class

Hi Johannes, We actually had an internal discussion about such an approach. As far as I remember, it was in the context of the Zynq drivers. I absolutely like the idea of using the Mmio framework with different back-ends. I think you would have to exchange merely the two raw-access methods of the

Re: [tz_vmm demo]- execution time

Hi John, Am 25.10.2016 um 03:53 schrieb John David: > Hi Martin, > > Thanks a lot. > I have tried to measure and print the performance counter value on as > follows ( i.MX53QSB) > > /Trace::Timestamp start = Trace::timestamp(); > / > / my_funciton(); > / > /

Re: Linking genode processes at different address space

Hello Parfait, Am 15.10.2016 um 14:34 schrieb Parfait Tokponnon: > Dear Genode community, > I would like to know if there is a way to link Genode process (or > components) at different address spaces especially when building > Heeselicht scenario. > When playing with the kernel (Nova), I

Re: Enabling secure boot on the USB armory

Hi 오지수, Am 28.09.2016 um 07:10 schrieb 오지수: > Hello > > I'm currently trying to boot Genode 15.02 on the USB Armory. If just want to boot Genode without the need for secure booting, have you tried article [1]? > [1] provides tutorial of secure boot on USB Armory. > But, [1] only handle linux

Re: [tz_vmm demo]- execution time

Hi John, Am 20.09.2016 um 01:46 schrieb John David: > Dear Martin, > > Thanks a lot for your answers. > > I wanted to use the performance counter for more performance > measurements such as cache-misses, but I don't know how to access and I forgot to mention that you could also transform the

Re: [tz_vmm demo]- execution time

The function elapsed_ms gives you the time that has passed since the creation of the corresponding timer session. So, yes, you can measure time intervals with this if you use the same session for t1 and t2. If you merely aim for performance comparison and are not interested in concrete time

Re: Genode Scheduling TrustZone Demo

t; > On 07/15/2016 04:43 PM, Stefan Brenner wrote: >> Hi, >> >> we are using inject_irq() from Martin Stein to inject interrupts into >> the normal world VM running Linux. >> >> When measuring the time between issuing inject_irq() and actually >>

Re: Child component creation

Hi Denis, You might have a look at the init component [1]. It creates children according to a given configuration. An example configuration can be found in (almost) all run scripts as init is the only child of Genodes core component and in this role responsible for starting all other components.

Re: Genode Compilation Flags - Optimization

You can try compiling it by modifying CC_OLEVEL in your /etc/tools.conf (by the default, this file doesn't exist, so you would have to create it): CC_OLEVEL = -O3 You can verify if it is applied by adding VERBOSE= to your make call: VERBOSE= make Cheers, Martin Am 23.06.2016 um 10:32 schrieb

Re: Genode freezes on USB Armory

Am 17.05.2016 um 13:09 schrieb Martin Stein: > Just to be really clear, do you mean the initial Kernel that boots the > Genode hypervisor or the Kernel that is started by Genode in the Normal > World ([init -> tz_vmm] [vm] ...) ? Sorry, I messed up terms: The "initial Kernel that

Re: Genode freezes on USB Armory

Hi Yevgeny, In general, I can recommend you to have a look at the article [3]. It gives information regarding nearly all the topics that you address. Am 16.05.2016 um 11:27 schrieb Yevgeny Lavrov: > So I was able to run Genode on USB Armory, and ssh into it, > and it appears to me that I’m

Re: Genode freezes on USB Armory

Hi Yevgeny, What do you mean when you say it freezes? If it doesn't react to keyboard input via your COM interface (minicom, picocom, ...) that doesn't necessarily mean that it is frozen. UART input isn't forwarded to the "Secure" world userland or the "Normal" world guest OS in this scenario.

Re: Reagaring Genode and USB Armory

Hey Utkarsh, Am 28.04.2016 um 21:10 schrieb Agrawal, Utkarsh: > I think you missed to attach the log. :) I checked it. No, the attachment is there. Its no footnote like [x] but a file attached to the mail. > * I have been using the prebuilt Linux. I again built everything by following > the

Re: Reagaring Genode and USB Armory

king 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: Ma

Re: Reagaring Genode and USB Armory

Utkarsh Agrawal >> >> [1] >> https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_inversepath_usbarmory_wiki_Genode-2DOS=CwIC-g=C3yme8gMkxg_ihJNXS06ZyWk4EJm8LdrrvxQb-Je7sw=hnUL4kgB9cStyuGpvYu3L9_MVOWR5t87hYpTv2FwCGo=NwzIeuHqYnvROYKinKAlZVd5PiAYFi9QCtcc7dRP5gs=xm51_erngIaEOyEFFbZcXPF_0997eNeTOB2sbteiTQU= &

Re: [tz_vmm] Build error (#2)

ng 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

Re: Shared Memory in tz_vmm demo

Hi Joseph, Am 14.04.2016 um 02:44 schrieb Joseph Lee: > I just only commented out line 118 (i.e.,/if (_handle_vm())/) in > https://github.com/genodelabs/genode/blob/15.11/repos/os/src/server/tz_vmm/spec/imx53/main.cc > so that the TZ VMM switches to the normal world immediately by invoking > the

Re: Shared Memory in tz_vmm demo

Hi Joseph, Am 05.04.2016 um 11:19 schrieb Joseph Lee: > Hi Stefan, > > Thanks a lot for your response. > > I have another questions. I have tried to measure the time for the > context switch between the worlds. I make an /SMC/ call in the normal > world (Linux) and modified the VMM to return to

Re: FYI: microkernel.info community site

Hi Jakub, I really like the idea and implementation of this website. Having a place that provides an overview of the Microkernel movement as a whole may help to lower the barriers for outstanding people to get in touch with it. Maybe it also helps to keep events like the FOSDEM devroom going.

Re: Porting applications strategy

Hi Tomasz, Am 15.02.2016 um 22:59 schrieb Tomasz Gajewski: > I would like to be able to do: > > ./configure --host=genode-x86 && make As far as I know, we currently do not issue 'configure' through the ports mechanism. Instead the customized config.* files of the ports are provided. An example

Re: Writing to two different dataspaces at the same time

Hi David, Am 20.01.2016 um 23:42 schrieb David Werner: > 1) Is it somehow possible to back a virtual address range with two > different dataspaces (attaching two different dataspaces at the same > virtual address is obviously not possible) ? What i want to achieve is > that writing to a

Re: How to calculate the TCB size

Hi Jaemin, Sorry for the delayed answer. Unfortunately, I overlooked your question. Am 22.12.2015 um 12:39 schrieb JaeminPark: > I’m working with Genode to implement the ARM TZ-based idea. > For evaluation, I’d like to count the line of code of the TCB. > In the build folder, I could find

Genode Hack'n'Hike 2016

Hello everyone, The Hack'n'Hike 2016 is approaching. During the 27th - 30th of May we'll gather again in a cosy accommodation to enjoy outdoor activities, collaborative hacking, and relaxation. For everyone who's interested in getting involved with the community, catching up, or just hanging out

Re: tz_vmm demo on USB Armory

Hey John, Am 21.12.2015 um 14:41 schrieb John David: > Thanks a lot. Maybe i will take a look at this article > > and see if i can do the same thing for USB Armory. That's a good idea, combined with the

Re: tz_vmm demo on USB Armory

Hi John, Am 19.12.2015 um 02:00 schrieb John David: > I am trying to run Android in the normal world. Is it possible to run an > Android OS without any modification? At least, you would have to patch the Linux Kernel that your Android is based on. I don't know whether the rest of Android needs

Re: tz_vmm demo on USB Armory

Hey John, Am 18.12.2015 um 13:37 schrieb John David: > Thank you for your explanation. i want a command prompt to run a user > mode program in Linux (normal world). Can you please suggest me if there > is something i can do this? As the tutorial [1] that I've linked in my last mail suggests, you

Re: tz_vmm demo on USB Armory

Hey John, Am 18.12.2015 um 01:25 schrieb John David: > it displays log messages (see on the attached ) and hangs. The tz_vmm Unfortunately, your mail has no attachment. Did you miss it? > start the virtual machine (Linux) but I couldn't get a Linux shell to > run Linux commands so i have no

Re: i.mx53qsb and ARM Trustzone Techology

Hi Joseph, Am 10.12.2015 um 14:08 schrieb Joseph Lee: > I have some more questions. How in VMM I can read contents of VM's RAM > by accessing the physical memory address directly instead of virtual > address? I wonder why you want to do this? In the userland on Genode+ARM, the MMU is always

Re: ARM TrustZone Shared Memory Crossworld

Hi Stefan, Am 09.12.2015 um 17:15 schrieb Stefan Brenner: > 1) We use mmap(NULL, , PROT_READ|PROT_WRITE, MAP_SHARED|MAP_ANON, > -1, 0) to allocate the buffer in normal world (Linux). Is there a better > way to allocate uncached memory? The only way I found, when working at Genode's TrustZone VMM

Article about the new TrustZone demo on the USB Armory

Hello everyone, as already announced, Genode's recent release 15.11 contains enhanced TrustZone support on the USB Armory board using our custom base-hw kernel. Due to the many-sided and perceptive story behind this improvement, we decided to provide a dedicated article. Besides telling our

Re: Upgrade to 15.11 from 15.02 results in quota exceded message

Hi Bob, Am 03.12.2015 um 13:37 schrieb Bob Stewart: > The scenario I run includes sdcard, gpio, gp timers, uarts, i2c, and PWM > drivers and vfs is also in there. All of this, with my modified base-hw > kernel, appears to be running as it does in 15.02 with the exception of > the PWM driver. The

Re: memory dump

Hi Abhay, Am 03.12.2015 um 16:44 schrieb Abhay Amala: > I could put the RAM data into a file using the following snippet and get > a file with size 268.4 MB. But when i tried to make some kind memory > analysis on the file, i get something which is different from what i > expect. What is the

Re: i.mx53qsb and ARM Trustzone Techology

Hi Joseph, Am 03.12.2015 um 08:02 schrieb Joseph Lee: > In VMM, the virtual address spaces of VM is starting from the base > address (_ram.base( ) ) to the size of RAM (256MB). Is that correct? my > question is how do we read the contents of physical memory of VM inside > VMM/secure world. I've

Re: Upgrade to 15.11 from 15.02 results in quota exceded message

Hello Bob, Am 02.12.2015 um 15:17 schrieb Bob Stewart: > I just upgraded from 15.02 to 15.11 and ran my base-hw based os and > applications, which have been running for some time on 15.02. The > changes made during the update were to the directory structure required > by the "platform"

Re: memory dump

Hey Abhay, First of all, sorry for the late feedback, last week, I couldn't find the time to answer your mail. Am 27.11.2015 um 00:19 schrieb Abhay Amala: > I am running tz_vmm on imx53qsb and thinking about taking a snapshot of > the normal world memory inside the tz_vmm app and put into a file

Re: Noux application

Hey Joseph, Am 19.11.2015 um 13:44 schrieb Joseph Lee: > I just want to let only Genode to access the ESDHC and run tz_vmm > successfully without generating data abort exception . Can i disable the > ESDHC in the Linux kernel so that the Linux (unsecure side) can't > request to access the ESDHC.

Re: Noux application

Hey Joseph, Am 19.11.2015 um 01:58 schrieb Joseph Lee: > the problem was that the SDHC driver timed out which then generates the > "Completion host signal timed out" error message. It is solved by replacing > >if (!wait_for(irq_goal, _delayer)) { > PERR("Completion host signal timed

Re: Noux application

Hi Joseph, Am 15.11.2015 um 03:05 schrieb Joseph Lee: > Hi Martin, thank you so much! it works for me. Nice! Could you please also share with us what the problem was and what solved it. > Now I just need to use the sd_card driver with Genode trustzone feature > (hw_imx53_qsb_tz). I tried to

Re: Noux application

Hey Joseph, Am 11.11.2015 um 00:53 schrieb Joseph Lee: > Can anyone please tell me something about 'Completion host signal timed out' > error message? You get this message because the SDHC driver timed out when waiting for the host state that signals that both the command and the transfer of a

Re: TrustZone: transfering information cross-world using interrupts

Hi David, Am 06.11.2015 um 15:39 schrieb David Goltzsche: > One possible approach would be to write something to a certain location > in the non-secure memory before triggering the interrupt and reading > that location from Linux. Of course, a cross-world synchronization > mechanism is required

Re: Noux application

Hi Joseph Am 05.11.2015 um 00:52 schrieb Joseph Lee: > I just try "make run/sd_card" on imx53QSB using this branch > (https://github.com/m-stein/genode/commits/1497_usb_armory_demo) > This working branch is a good starting point as

Re: Using ARM/Neon fp hardware with libc

Hi Bob, On 06.10.2015 14:23, robjsstew...@gmail.com wrote:> Stefan, > So, implementing the Cpu_lazy_state in cpu.h in the core spec for the > Cortex A9 into cpu.h for the Cortex A8 spec is all that is required? The FPU support for Cortex-A9 in base-hw works as follows: Initially, the FPU is

Re: Uboot creation script fails

Hi Mark, On 04.09.2015 14:23, Mark Albers wrote: > i use Genode 15.05 with the corresponding toolchain. Now, i have a > problem with the uboot creation script. I don't think that this is the problem but you may try the latest version 15.08 [1]. If you do so, please create a new build directory

Re: TrustZone: forcing instant switch from secure to normal world?

Hey David On 04.08.2015 14:28, David Goltzsche wrote: thanks for the help. When passing the physical IRQ number, it works! Maybe one more hint, by the way, although I assume that you're already aware of it. Choose carefully which IRQ numbers to use for cross-world communication. Logically, you

Re: TrustZone: forcing instant switch from secure to normal world?

the interrupt somehow. I called tzic_end_sw_irq(..) before returning from the handler. Here is my code: http://pastebin.com/NDBV6qYf Any Hints? David On 06/29/2015 12:05 PM, Martin Stein wrote: Hi David, On 29.06.2015 09:20, Stefan Kalkowski wrote: So, my approach would be using software

Re: Data Communication btw Normal and Secure World in IMX53_QSB

Hi Jaemin, Without going deeper into your specific problem, I'd like to suggest you to have a look at my working branches [1] that concern with issue [2]. They show a working implementation of shared-mem communication between secure and non-secure world. The interesting parts in your case are: *

Re: base-hw: Virtualbox thread priorities

Hi Adrian, On 13.07.2015 12:28, Adrian-Ken Rueegsegger wrote: Do you have an idea why the effective numbers on hardware would be so far off the mark from the assigned quota numbers? When looking at your raw counter values, I assume that this is caused by overflows. Some of your hardware values

Re: base-hw: Virtualbox thread priorities

Hi Adrian, On 08.07.2015 18:07, Adrian-Ken Rueegsegger wrote: I just gave the current staging branch (4b7b440...) a try and while the cpu_quota scenario completes successfully on QEMU, it seems to be stuck after the test_[fast|midl|slow] results are logged. It appears that the Conclusion part

Re: base-hw: Virtualbox thread priorities

Hey Adrian, On 10.07.2015 14:37, Adrian-Ken Rueegsegger wrote: Sorry for the inaccurate wording which I tried to clarify in the follow-up email. It works for me on QEMU but the cpu_quota run script does not complete if I run it on real hardware (Lenovo T430s). There I see that the results are

Re: base-hw: Virtualbox thread priorities

Hi Adrian, On 02.07.2015 12:02, Adrian-Ken Rueegsegger wrote: Hi, While investigating the cause for the performance discrepancy of Virtualbox on NOVA vs hw_x86_64[_muen] [1], I have determined, with help from Alexander, that Virtualbox thread priorities [2] are not applied on base-hw. Even

Re: cannot run make run/demo

Hi Daren, On 01.07.2015 10:11, Daren Sin wrote: I got the error //usr/bin/expect: bad interpreter: No such file or directory/ /make: *** [run/demo] Error 126/ / / Some background: I followed all the steps, even those that are not in that page above, like commenting out certain parts of

Re: TrustZone: forcing instant switch from secure to normal world?

Hi David, On 29.06.2015 09:20, Stefan Kalkowski wrote: So, my approach would be using software interrupts which sould be routed to the normal world. I played around with the svc (supervisor call) instruction, but I don't know how to route this to the secure world. Indeed, this seems to be

Re: Porting base-hw to ARM Juno with TrustZone

Hi Matthias, On 25.06.2015 11:48, Stefan Kalkowski wrote: On 06/24/2015 04:41 PM, Matthias Lorenz wrote: I'm interested in porting genode base-hw to ARM Juno (Vexpress64) (http://www.arm.com/products/tools/development-boards/versatile-express/juno-arm-development-platform.php). That's really

Re: Is X11 forwarding still implemented?

Hi Jookia, On 16.06.2015 17:59, Norman Feske wrote: If you decide to go this route, you may benefit from Martin's current line of work on providing a virtual block device to the normal world. The secure world retains the exclusive access to the real device and can make a partition available

Re: USB armory USB driver - porting

Hi Vladimir, Sorry for the latency... On 03.06.2015 00:13, Vladimir Lushnikov wrote: I am currently starting to port the Linux drivers necessary to get USB (both Host and OTG) working on the USB armory. Given my current schedule I hope to have something working by the end of the month (or at

Re: Memory access in tz_vmm

Hi Chirag, On 05.05.2015 07:38, chirag garg wrote: It gives me the following fault. I/O memory [4000,5000) not available Local MMIO mapping failed! [init - tz_vmm] C++ runtime: Genode::Parent::Service_denied You can take this fault as a starting point by searching (e.g. via grep)

Re: i.MX53 TrustZone cross world interactions

Hi Ofer, On 05.05.2015 11:06, Ofer Hasson wrote: My question is, how in the Genode hypervisor I can access this memory address ? Any idea will be helpful You should have a look at '_ram_iomem' in [1]. It is the IO_MEM session of the VMM that references the RAM of the normal world. Once

Re: Develop Trustzone support for imx6

at least (--include boot_dir/xxx). Cheers, Martin Stein [1] $BUILD_DIR/etc/build.conf [2] http://genode.org/documentation/release-notes/15.02 -- One dashboard for servers and applications across Physical-Virtual-Cloud Widest

Re: Develop Trustzone support for imx6

Hi Thong, On 21.04.2015 09:24, thong wrote: 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 The --target uboot option is a deprecated way of configuring the run tool. Thus, I assume that you

Re: Develop Trustzone support for imx6

Hi Thong, On 21.04.2015 12:57, thong wrote: Is that my board MX6Q SABRESD differs from SABRELITE causing this? Please help me what I should do. Of course, this might be a problem. I'd suggest you to check the UART and the RAM configuration of Genode. For Sabrelite, both can be found in [1].

Re: Develop Trustzone support for imx6

Hi Thong, Just notice you that 'sabrelite.bin' is binary format not u-boot image which I got from: //usr/local/genode-gcc/bin/genode-arm-objcopy -O binary var/run/tz_vmm_mx6/image.elf var/run/tz_vmm_mx6/sabrelite.bin/ So I think I should fatload 'sabrelite.bin' into 0x10001000 which is text

Re: Adding a Kernel Module in base-hw

Hi Franc, On 16.04.2015 13:52, Franc sylvester wrote: I have one more doubt regarding reading the general purpose register in Genode. I want to read the General purpose register value. Can you give me some clue on this In which environment do you want to read whose general purpose

Re: Adding a Kernel Module in base-hw

Hi Franc, On 16.04.2015 12:01, Franc sylvester wrote: I used this explanation to write a system call but i am not able to get user argument value inside the system call. Can you provide some more information to get argument value inside the system call. As you can see in the other system

Re: Data Abort MMU exception on mapped IO register read

Hi Bob, On 13.04.2015 14:41, Bob Stewart wrote: I'm running with 15.02, base-hw on a TI AM3359 processor. I've successfully created device drivers for most of the devices on the peripheral bus without issue. Accessing the the final device i need a driver for, is causing me fits. I

  1   2   >