File synchronisation tool

Hi, Last night i've noticed that 'rsync' is essential for my daily work because it's the backend of my file synchronisation scripts i use to hold my 3 machines in sync. So i would like to suggest it for our roadmap 2012. Greets, Martin

Redundant github refs with rebase

Is there any idea to avoid redundant issue reference messages when using 'ref #X' in a commit message and the commit gets often rebased? To me it seems that rebasing is a very essential and often used. Greets, Martin --

Re: Redundant github refs with rebase

Thank you for your quick feedback :-) This https://github.com/genodelabs/genode/issues/61 seems to be a good example git branch -vva --contains 890161ff6037233a477b804eb7cc199e059a8343 || true; shows that the commit, wich was reported twice is only contained by one branch and its remote

Re: Redundant github refs with rebase

Ok, nethertheless thanks! -- Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3,

thread_switch_to

I have a question about 'static inline void thread_switch_to(Native_thread_id tid)'. This function shall yield to a given thread, but what is the expected behavior if the targeted thread exists and is started but also paused? Greets, Martin

Negative signal numbers

While i was implementing the signal framework i've noticed that the num field in signals is of type int. Is there any reason for the possibility to not only submit negative numbers of signals, but also receive negative numbers of signals? Greets, Martin

Filter platforms in 'run_genode_until'

Currently i often run tests that are executable in qemu only on certain platforms but shall be build through the scripts for others as well to do testing on hardware. Would it be nice to let 'run_genode_until' filter out platforms that are not supported autonomously, instead of redundantly guard

Re: Fwd: Re: openrisc

to the beginning of your project. Cheers, Martin On 08/03/2012 11:29 AM, Martin Stein wrote: Original Message Subject: Re: openrisc Date: Fri, 03 Aug 2012 08:08:18 +0100 From: Nick Betteridge nick.betteri...@googlemail.com To: Martin Stein martin.st...@genode-labs.com

base-foc: contrib compile errors

Hi, I have an obscure little error that kept me from running Genode with base-foc. I have a freshly cloned Genode repo on the master branch with a freshly 'make prepare'd base-foc/contrib. The build dir is also freshly created and not modified (no 'MAKE+=j' or something). I'm using Linux 3.0.0-23

Re: base-foc: contrib compile errors

not occur with other L4 based kernels. On 11/12/2012 11:39 AM, Martin Stein wrote: Hi, I have an obscure little error that kept me from running Genode with base-foc. I have a freshly cloned Genode repo on the master branch with a freshly 'make prepare'd base-foc/contrib. The build dir is also

Re: base-foc: contrib compile errors

Yes i was also confused, i found the mentioned solution only through try and error... I also don't find much informations about 'cc1'. On 11/13/2012 06:17 PM, Christian Helmuth wrote: Hi Martin, On Tue, Nov 13, 2012 at 01:51:07PM +0100, Martin Stein wrote: A similar problem occurs when

Re: Genode + panda es (rev-b2),

Hi Ali, 4. While probably not related to genode, does anyone know how I can get the reset button on the pandaboard to work properly? Right now it looks like it resets the board, but U-boot does not come back up again. I'm currently using the precompiled version from your repository. On my

Re: Genode + panda es (rev-b2),

Hey i'm sorry that this answer comes a little delayed. On 11/18/2012 06:01 PM, Ali Nehzat wrote: 2. If I close any of the children applications using the 'x' button in launchpad I get the error below and everything hangs. I had a little look at the code and the forums and while I understand

Boot method declaration

By now when doing a build there are two ways of defining the boot method. In 'base-mb' one writes 'RUN_OPT=--target jtag make demo' or 'RUN_OPT=--target qemu make demo' while qemu is set by default. At least in base-hw with imx53 one must enrich the SPECS e.g. in etc/specs.mk by the 'uboot' spec

Re: Boot method declaration

Hi Norman, I'm ok with that. I've already discussed this with Stefan. He'd introduced the SPEC-way in base-hw and said that he simply copied it from another case (in base-nova i think). Why this spec is needed wasn't that interesting for me, i think he said that the imx53 uBoot behaves a little

Re: Boot method declaration

an additional SPEC variable, namely 'boot_pxe'. Therefore, I've used a SPEC variable too, to evaluate whether an u-boot image should be built or not. Apart from that fact, I didn't copied anything, just tried to do it in a convenient way ;-) regards Stefan On 12/17/2012 04:02 PM, Martin Stein

Demo: Diverging testnit window

When moving a testnit window a little faster in the demo i observe that the window diverges from its original position relative to the mouse pointer. The behavior blows up when moving more and more. This is at least true for the hw platforms in qemu and real and for nova_x86_32 in qemu. It does

Signal_dispatcher base-hw

If i didn't misunderstood the function of 'Signal_dispatcher' it should be provided through a separate header. This is because 'base-hw' implements the basics of 'base/signal.h' (Signal, Signal_receiver, Signal_context, Signal_transmitter) by itself, to optimize the code via specific

tool/run: can't cancel 'run_genode_until forever'

I'm not sure if this should be a github issue: When executing a run test that does 'run_genode_until forever' and the test stucks irrecoverable somewhere it's not possible for me to cancel the process via [strg + c] in contrast to the same situation with 'run_genode_until STRING TIMEOUT'. I've

prepare freetype

When I try to clean and prepare freetype in libports on current genodelabs/staging or genodelabs/master I end up in following problem (I'm not sure if I'm doing anything wrong or if this is a bug) lypo@bird:~/genodelabs/genode/mstein/libports$ make cleanall; make prepare PKG=freetype make:

Re: prepare freetype

@chelmuth: Thank you for the quick help :) On 18.10.2013 12:13, Christian Helmuth wrote: Hi, Martin and me investigated more on this issue. As a quick fix we added keyserver-options auto-key-retrieve to his $HOME/.gnupg/gpg.conf file. Why download_sigver does not detect the missing

Re: Building for Raspberry Pi Ubuntu

Hi Nick, Nice to hear from you again and to see your revived interest in base-hw :-) On 21.10.2013 12:32, buzz heavyyear wrote: Hi Norman, Thanks for your reply. welcome to the mailing list! Actually, it should be 'welcome back to the mailing list' - I originally thought that genode

Re: Choosing a Kernel

Hi Neal, The Genode base provided by base-hw follows the approach to minimalize the code running in privileged CPU mode. Its kernel (base-hw/src/core/kernel*) is a single-threaded state machine that tries to hand over handling of caught hardware- exceptions as fast as possible to userland.

Re: base-hw's future

Hi Neal, On 05.11.2013 14:48, Neal H. Walfield wrote: In this design, the kernel is not a self-sustaining piece of software but a mere library that provides back-end functionality for roottask. I.e., it performs no allocations and becomes active only when called by the roottask code (via one

Re: base-hw the root task

On 05.11.2013 15:59, Neal H. Walfield wrote: At Tue, 05 Nov 2013 15:15:49 +0100, Martin Stein wrote: The single kernel-thread executes solely in privileged CPU mode. Initially it disables the MMU and runs in physical address space. Before leaving privileged CPU mode the first time, it enables

Re: base-hw the root task

I forgot: On 05.11.2013 15:59, Neal H. Walfield wrote: At Tue, 05 Nov 2013 15:15:49 +0100, Martin Stein wrote: The single kernel-thread executes solely in privileged CPU mode. Initially it disables the MMU and runs in physical address space. Before leaving privileged CPU mode the first time

Re: base-hw ,,, What is CACHE_LINE_SIZE_LOG2?

Hi Bob, The only purpose of the parameter CACHE_LINE_SIZE_LOG2 is to enable us flushing the level 1 data cache of ARM in base-hw selectively. It controls the granularity of the flushing commands and is set correctly only for the Arndale board by now. The value 2 is the least possible value for

Re: base-hw ,,, What is CACHE_LINE_SIZE_LOG2?

On 18.11.2013 11:42, Norman Feske wrote: Maybe your platform starts the kernel in non-secure mode? If I remember right, the secure/non-secure mode must be distinguished when setting up mappings in the page table. On ARMv7 a complete base-hw page-table is either secure or non-secure. A page

Re: A20-OLinuXino-MICRO-4GB

Hi Nick, Nice to hear that you're intending to port base-hw to A20-OLinuXino :-) Currently there are 3 Cortex-A9 boards officially supported by base-hw: VEA9X4, PBXA9, and the Pandaboard. You can refer to any of these boards. Looking e.g. at PBXA9, you can see that basically the following files

Re: A20-OLinuXino-MICRO-4GB

Hi Nick, I don't think that the instruction set will differ that much. Differences in the ARMv7 revisions more often refer to details of the hardware virtualisation. The different Cortex-A revisions in turn more likely mean that you can't e.g. reuse the Cortex-A9 timer

Re: A20-OLinuXino-MICRO-4GB

Hi Aditya, On 18.12.2013 06:24, Aditya Kousik wrote: Hi Martin, Thanks for the insightful reply. That's a terrific place to start with your guidelines. Adding to the queries, I have a few of my own. 1) On what basis have you used the IRQs in plaform_support.cc? The interrupts listed in

Re: Roadmap 2014

On 02.01.2014 12:27, Norman Feske wrote: * The base-hw platform * Multi-processor support * Kernel-protected capability-based security * Exploring ARM's virtualization extensions Further suggestion: * Priority-based scheduling in two bands (one for low-latency tasks and another for

Re: Booting base-hw image on a Freescale i.MX6

Hi Aditya On 29.01.2014 06:36, Aditya Kousik wrote: Hello all, Genode base-hw kernel runs successfully on i.MX6. Stefan: we were looking at the wrong UART port (1 instead of 2) which led us on a wild goose chase. And we set the GPIO pins directly by setting IOMUX to GPIO mode: we lit a LED

Re: MMIO classes

Hi Aditya, Nice to hear that you like the MMIO framework :-) Personally, I can't see a benefit in constructing an object of a class that does nothing else than inheriting from an Mmio::Register. When trying to compile your example, my compiler complains that I can't use 'ob' in the constant

Re: MMIO classes

case, I'd be glad to know where I'm going wrong. Thanks and regards Aditya. On Tue, Apr 8, 2014 at 4:23 PM, Martin Stein martin.st...@genode-labs.com mailto:martin.st...@genode-labs.com wrote: Hi Aditya, Nice to hear that you like the MMIO framework :-) Personally, I

Re: Changed directory layout

I was able to update my current in-fly-branches (1126*, 1139*) to the change without much trouble. Merely one easy conflict and some manual squashes for new files. No concerns from my side. Martin On 07.05.2014 12:06, Norman Feske wrote: Hello, as discussed in the issue Source-code package

Re: Management of ported 3rd-party software

Gave it a try now by myself and I'm really happy about the new way of preparing ports. Just a short question in the margin: Is it wanted (besides the eye-sugar like output of prepare_port :-) ) that git clone still routes its own output to stdout?

Re: genode-i.mx6

Hi Mahe, As mentioned before, it seems that Qemu doesn't support imx boards. At least with my version 2.0.0, qemu-system-arm -machine help doesn't list any imx board. However, if you have a real imx6 connected to your machine you might try to adapt the approach depicted in base-hw/doc/imx31.txt.

Re: genode-i.mx6 framebuffer

Hi Mahe, I have no sure formula for your problem but some hints. While developing HDMI drivers for the Arndale and the Panda board, we had to realize that the corresponding reference manuals provided insufficient information for our needs. Thus we switched to another approach. First, we looked out

Re: Platform Initialization Problem

Hi Praveen, Stefan isn't online these days. 'Genode::map_local()' uses the 'Kernel::core_pd()-platform_pd()-page_slab()' as backing store. This allocator is of the type 'Genode::Page_slab' as defined in 'base-hw/src/core/include/page_slab.h'. The class contains a member 'Slab_block _initial_sb'

Re: MMU issues with AM335X and 14.05

the _mmu_exception method was: /void Kernel::Thread::_mmu_exception(): f_addr 0x1008 f_writes 0x1 f_pd 0x813d6004 f_signal 0x0 label core// / Looks like I've a problem with the fault address, so I'll keep digging to see where that is coming from. Thanks, Bob On 08/11/2014 07:54 AM, Martin Stein

Re: MMU issues with AM335X and 14.05

of 0x1000 and try to create a translation table entry with that. I thought I saw some changes in the ROM area in the pull, so I was going to get a clean build and then try again. Bob On 08/13/2014 05:12 AM, Martin Stein wrote: Hey Bob, The changes you're talking about originate from

Re: MMU issues with AM335X and 14.05

after the pull. Still looking as to why the Arm namespace shows up above Genode. Let you when I find it. Bob On 08/17/2014 03:27 PM, Martin Stein wrote: Btw. hope you have done 'make clean' after your Makefile changes. Otherwise this could cause the build system to act strange

Re: Starting TZ_VMM on imx6

Hi Swaminathan, Have you tried Freescale's i.MX community forum: https://community.freescale.com/community/imx/content In my experience the activity of Freescale insiders in the forum is a little low but it's worth a try. Another possibility might be the source code of Linux respectively U-Boot.

Re: port samsung exynos 5

Hi Waldo, As far as I can see, your board uses the UART0 or UART1 for serial output (depending on which connector you use) whereas the base-hw driver (base-hw/src/core/include/spec/exynos5/serial.h) sends on UART2. You should adapt the base-address and clock input parameters for

Re: AW: AW: AW: Running Linux 3.14 as a Genode VM

/eccce1c595d7962c95086d6fa60291f7c2c1a497#diff-3 I will try your fix tomorrow, I forgot to bring my development VM to uni today... Cheers, Nico Von: Martin Stein Gesendet: Montag, 26. Januar 2015 12:14 An: Genode OS Framework Mailing List Betreff

Re: AW: Running Linux 3.14 as a Genode VM

Hi Nico, I'm currently working on the issue of Linux 3.16 as TZ-VM on i.MX53. I get stuck at the same line of output as you and have found that it goes down to the ASM instruction 'msr CPSR_c, rx' in 'arch_local_irq_restore' called by 'local_irq_restore' called at the end of 'vprintk_emit' called

Re: Adding a Kernel Module in base-hw

Hi Franc, The easiest way to trigger privileged code from userland is by adding a new syscall to the base-hw kernel. To achieve this, you first have to adapt the kernel-interface description. Let me give you some background for this. There are two types of syscalls, public syscalls that can be

Re: Raspberry Pi U-Boot?

Hi Jeroen, I can't give you an advice regarding Uboot on RPI. However, I've often booted RPI via JTAG using the Flyswatter2 debugger and OpenOCD. If you're interested in this, I can send you further information. Cheers, Martin On 18.02.2015 00:00, Jeroen Slim van Gelderen wrote: Hi, Does

Re: How do I get the uImage on to the sdcard?

Hi Peter, I don't know exactly what you mean with bootup with any boot prompts on the console interface. But looking at your working steps it seems to me that there is a general misconception. You hard-copy the Genode uImage to the beginning of the SD-card but neither represents this image a

Re: AW: AW: AW: Running Linux 3.14 as a Genode VM

will try your fix tomorrow, I forgot to bring my development VM to uni today... Cheers, Nico Von: Martin Stein Gesendet: Montag, 26. Januar 2015 12:14 An: Genode OS Framework Mailing List Betreff: Re: AW: AW: Running Linux 3.14 as a Genode VM Hi Nico

Re: AW: AW: Running Linux 3.14 as a Genode VM

the [ 128.836307] console [ttymxc0] enabled line and if you also add a dump_stack() call you will see an endless stacktrace which looks like an infinite loop to me. Maybe this helps. Cheers, Nico Von: Martin Stein Gesendet: Dienstag, 20. Januar 2015 16:32

Re: port samsung exynos 5

Hi Waldo, To get a hint on which target platforms are supported with which kernel you can issue 'tool/create_builddir' without arguments. Our bare-hardware kernel (base-hw repository) has support for the Odroid-XU board (Exynos 5410) and the Arndale board (Exynos 5250). The latter is also

Re: testing tools

Hi Waldo, My branch 'https://github.com/m-stein/genode/tree/hw_perf_arm_v7' implements a simple in-kernel tool for low-level performance statistics on HW+ARMv7. It measures the CPU cycles that were executed by a thread directly (called EC in the output) and those that were payed by a threads

Re: SD card driver for Freescale i.MX6 in Genode

Hi Praveen, Norman, First of all, it's cool to see you sharing this code with us and I enjoyed reading it! According to the i.MX6 manual, the uSDHC is a new implementation that is at least not fully compatible with the eSDHC. For example, there are new registers, new features (tuning), and

Fwd: Genode on iMX53 with TrustZone

Forwarded Message Subject:Genode on iMX53 with TrustZone Date: Thu, 12 Mar 2015 16:05:30 +0900 From: JaeminPark jmpar...@gmail.com To: martin.st...@genode-labs.com Dear, I’m writing this e-mail to ask you some questions to build and boot Genode with

Re: Genode on iMX53 with TrustZone

Hi Jaemin, On 12.03.2015 12:54, JaeminPark wrote: Hi, Martin. I used hw_imx53_tz build directory to build tz_vmm scenario. However, I’m not sure whether I did the right thing regard of “u-boot”. I’m posting my etc/specs.conf as follows (only 2 lines): /SPECS = genode hw_imx53_qsb_tz/

Re: How can I port Genode to Exynos4 platform?

Hi Cooper, On 12.03.2015 09:21, pyl wrote: Hi everyone, I can run genode(base-foc) on the Pandaboard ES, and now I want to port genode to Odroid-Q2(exynos4412), but there is no script to run , I don't know what need I do and how to configure genode to make it work on Odroid. Can you help

Re: port samsung exynos5

Hi Waldo, I'm a little bit confused. Didn't you had UART already working as stated in your forelast mail? Are you sure that your current state still uses the UART configuration you'd adapted to your platform? Maybe there is a problem with your include paths? The '#include drivers/board_base.h' in

Re: base-hw: Cpu_lazy_state and alignment constraints

Hi Adrian, In base-hw, there are three types of executable subjects by now: user threads, virtual machines, and CPU-idle contexts. The CPU job is the base class that is common to all of them. All CPU-idle contexts (as members of the CPU objects in the CPU pool in base-hw/src/core/kernel/cpu.cc)

Re: imx53 trustzone boot problem

Hi Ofer, On 10.03.2015 11:19, Ofer Hasson wrote: Hello, I'm trying to boot genode on the secure world and linux on normal world of the iMX53-QSB board (freescale). The problem I'm encountering is: [init - tz_vmm] Start virtual machine ... and then various errors, either it hangs, or

Re: SD card driver for Freescale i.MX6 in Genode

Hi Praveen, Thank you for taking the time to implement the suggestions :) On 24.03.2015 08:33, Praveen B wrote: The reason we created another sd_card.h is, USDHC returns CSD register shifted by 8 bits. That could also have been handled in the read_csd() function of the controller instead of

Re: i.MX6 support

Hi Praveen, On 26.03.2015 18:30, Praveen B wrote: Taking into consideration all the issues, we have forked another repository, https://github.com/iitmadras/genode and updated the commits. Please take a look at it. Good that you've re-based and merged your work. This way, it shouldn't be a

Re: i.MX6 support

Hi Madhu, Praveen, On 27.03.2015 13:24, Praveen B wrote: We have tested the ported code on SABRE Lite board and it is working, except that we need to change UART1 to UART2(0x021e8000). ... Apart from these typical configuration changes, we have verified that the image generated from this

Genode Hack'n Hike 2015

Hello everyone, This years Hack'n'Hike during 22nd -25th of May is approaching. Like in the last years, we'll gather for several days in a cosy accommodation to enjoy outdoor activities, collaborative hacking, and relaxation. For everyone who's interested in getting involved with the community,

Re: incomplete uImage

at 0x7000 and 1 GiB at 0xb000 - or only the former one. Cheers, Martin On 21.02.2015 09:12, Peter Teoh wrote: Thanks to Martin Stein, I got imx53 to boot the uImage (via uboot): = bootm 0x7020 ## Booting kernel from Legacy Image

i.MX6 support

Hi Praveen, I've created a branch (https://github.com/m-stein/genode/tree/1467_hw_imx6_support) that works on our Wandboard Quad and our CuBox-i and opened an according issue (https://github.com/genodelabs/genode/issues/1467). Some annotations: * I have not merged the Trustzone support that was

Re: port samsung exynos 5

Hi Waldo, For further debugging it might be useful to know the content of your '$BUILD_DIR/core/core' image for the given instruction pointer (0x800019f4). You may achieve this via '$GENODE_TOOLCHAIN/bin/genode-arm-objdump -DCl $IMAGE'. This should also provide you with the location inside the

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

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

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

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

  1   2   >