May 2015 - users - lists.genode.org

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

i.mx53qsb and ARM Trustzone Techology
by Joseph Lee 10 Dec '15

10 Dec '15

Hi >From the article in this link http://genode.org/documentation/articles/trustzone , I understood that the DDR RAM in i.mx53 QSB is partitioned off between normal world and secure world. I just want to read a file in the normal world from application running in the secure side. Is there any possibility to get access to any file in normal world from the secure world? thanks for your help in advance. Regards, Joseph

3 7

Re: Port Genode(13.05) to exynos4412 with Fiasco.oc(R67)
by 四枚羽根 03 Jun '15

03 Jun '15

Hi, We have alreadly got fiasco.oc(R67) running on the Exynos4412 successfully, and tested Genode(13.05) on pandaboard.So i am trying to test Genode(13.05） with fiasco.oc(R67) on Exynos4412. Have made all the configuration and passed the compilation(printf.run),i get a 'image.elf' and then change it to 'image.raw'. The Fiasco.oc starts successfully during the execution of image.raw on Exynos4412,but end with the error,i know it is about protection domain. Do you have any idea about the error? Then can you show me the log of your Fiasco.oc's boot(on Odroid-X2). Thanks and regards Sunyu 发自 Windows 邮件

2 1

AHCI still not working
by Nobody III 01 Jun '15

01 Jun '15

I've tried to get AHCI to work several times. With the new AHCI driver (I updated Genode today), I thought it would finally work. It discovers my devices correctly (2 ATA and one ATAPI), and my configuration is good. (I've updated it and tested an almost identical scenario in Qemu.) I've tried it on both Nova and Fiasco.OC (Nova's pci_device_pd gave me an error: "assignment of PCI device failed") Any ideas what to do now?

5 18

Port Genode(13.05) to exynos4412 with Fiasco.oc(R67)
by sunyu 29 May '15

29 May '15

Hi, I'm trying to port Genode(13.05) to Samsung Exynos4412,using R67 of Fiasco.oc. There's a error while the image(compiled with printf.run) is running. ------------------------------------------------------------------------------------------------------ int main(): --- create local services --- int main(): --- start init --- int main(): transferred 1981 MB to init Could not assign parent interface to new PD unknown exception? int main(): --- init created, waiting for exit condition -- ------------------------------------------------------------------------------------------------------- I'd like to know how to solve this problem and get R67 running on Genode(13.05). Sunyu

3 2

I2C / SPI drivers for the Raspberry Pi
by Duss Pirmin 27 May '15

27 May '15

Hello I have pledged for one of this E-Paper displays for the Raspberry Pi https://www.kickstarter.com/projects/pisupply/papirus-the-epaper-screen-hat… To control this SPI, I2C and GPIO are needed. Are there already drivers for this interfaces? Otherwise I would be willing to implement this drivers and resource multiplexers. Best regrars Pirmin

3 7

Tracing with Genode
by Torsten Frenzel 27 May '15

27 May '15

Hello, currently, I explore Genode's tracing-feature and have a few questions regarding policy modules and trace buffers: I'm working with the 15.02 release and found two examples of policy modules, called null and rpc_name. Are there other examples in branches of the repo on how to implement a custom policy module. In general what are the restrictions, when implementing a policy module? Is it possible to extract more specific information for a certain event, for example, the name of the destination, that was called. Furthermore, the policy modules for Rpc_call and Rpc_returned events have access to a data structure of type Msgbuf_base. As far as I understood the message buffer contains the arch-depended marshalled data. Is there a generic mechanism to interpret these data in a meaningful way inside policy module or the trace monitor? It would be helpful to accurately timestamp every recorded event with a value of a real time clock. But that would require access to service that provides such an information. Again, I cannot see how to get access to such a service from inside the policy module, because it hasn't access to the Genode runtime environment. Maybe the correct approach would be to use a fast timestamp function inside the policy module and later calculate the real time value in the trace monitor? Is it possible to disable/enable specific types of events (, may be using the Trace::Control data structure)? Is there a mechanism that the trace monitor is notified, when a trace-buffer is full or has reached a threshold? When I played around with the test_trace program, I noticed that loading more than policy module into core fails. After some investigations I found that the slab_size for the constructed allocator used in the Policy_registry class for Trace::Policy objects is only 4 bytes, but Trace::Policy objects have a larger size of 26 bytes. When I changed the constructor in the session component as shown below everything works fine. So for some reason the compiler selects the Avl_node_base::Policy class in the template. diff -r ./base/src/core/include/trace/session_component.h . 40,41c40,41 < Tslab<Trace::Policy, 4096> _policies_slab; --- > Tslab<Policy, 4096> _policies_slab; Regards, Torsten

3 2

Accessing two UARTs from within one application
by Stark, Josef 26 May '15

26 May '15

Hi all, is it possible to use two UARTs at the same time from within one app? We had a look at the example script and application repos/os/run/uart.run and repos/os/src/test/uart and tried several things, including: - adding two lines in the config for the same process but with different UARTs: <policy label="test-uart1" uart="1"/> <policy label="test-uart1" uart="2"/> - comma-separating UARTs (uart="1,2") - adding a second uart-attribute (uart="1" uart="2") - and many more. - In the application, we simply added a second instance of Uart::Connection and accessed it in the same way as the first. (The Uart::Connection doesn't seem to offer any other constructor than the default one, in which one could specify which UART to access.) but all of those attemptes either led to a build error or made the output appear on only one UART. Is there any way to access two UARTs in one application or would we need a separate process for each one? Thanks in advance, Josef

2 2

Announcement: Genode OS Framework version 15.05 released
by Norman Feske 26 May '15

26 May '15

I am happy to announce the version 15.05 of the Genode OS Framework, which represents the most comprehensive release in our history. Its most visible feature is a completely new written documentation in book form. On the technical side, the highlights of the release are: - Comprehensive architectural documentation - Feature completion of the our custom kernel - Kernel-protected capabilities - Principal support for the 64-bit x86 - Dynamic thread weights - Revised device-driver infrastructure - Device drivers - New AHCI driver - Multi-touch support - Audio drivers ported from OpenBSD - SD-card drivers for i.MX53 and Raspberry Pi - Board support for i.MX6-based Wandboard - Support for GPT partitions - Proof-of-concept support for the seL4 kernel - NOVA kernel mechanism for signals - Tool chain updated to GCC 4.9.2 and binutils 2.25 These and many more improvements are described in the release documentation: http://genode.org/documentation/release-notes/15.05 Best regards Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Port OpenDDS to Genode
by Roger Ferreira 26 May '15

26 May '15

Dear Genode Community, This is my first message, and actually first contact with microkernel world. I beg your patience in this first time. I am on the application development & integration deployment side. I have been thinking long ago about the possibility of tailoring a software environment with the very basic stuff (code) demanded by specific application domain. I work with mission safe-critical automation domain, and the applications are basically regarded algorithms / computation / networking. GUI can be splitted ou very basic. Using Linux as base OS provide what is needed, but together with a bunch of unecessary code / packages that increase the unrealiability of the overall final system. Now, having learn the important concept of isolating security-critical functions, in order to avoid security breach from the very ground,I got excited about the idea to bring the applications I work with in such scenario. And particularly to explore virtualization with the least possible software overhead. I did a survey on microkernel, microhypervisor. Found L4-based Fiasco-OC and then NOVA. I was still a little skeptical because of the low level knowledge required. Genode gave me the light I was looking for. Specially when I saw the porting of Qt5, which actually I use long time. With Qt5 integration I am very close to my objective. However, I still demand to integrate a 3-rd party software, namely, to port OpenDDS to Genode. I dig into the manual:http://genode.org/files/53bcb8e33fe6602fed25edc3c7b922c5/manual-2015… and genode site. I did the manual hello world example, built some environments (NOVA, Fiasco.OC), run the demo. Everything worked fine with QEMU. With Qt5 examples I was not successful yet, though. But before I can move on, I need to integrate an external library. My question / doubt is regarding porting an external Library:http://genode.org/documentation/developer-resources/porting_applica… Specifically, OpenDDS3.6 which relies on ACE-TAO2.2a:http://download.ociweb.com/TAO-2.2a/ACE+TAO-2.2a_with_latest_pa… I create a specific repo inside repos, and did the port files. The make prepare worked with no problems. But then come the challenging part: 1) Adapting Makefiles /Config files to Genode specific platform. ACE-TAO need a specific config and platform files. There are examples for linux, free and openbsd, vxworks, qnx, vxworks, lynxos. From which should I start from? 2) Creation of the patches. How to create the patches? Just with diff -crNb? 3) Building specific tools. ACE-TAO and OpenDDS rely on specific tools for IDL files. I saw the Qt example with the host_tools.mk approach, but not tested yet. 4) Creation of the run file. What should be a first trial? Where can I can get better insight of how to do that? I have digged through the Genode code, particularly the Qt5 porting, but it is quite hard. Is there any specific guide, or there is no easy way. Is a try and test process? Thanks for your attention. Best regards and congratulations for the Genode project, Roger

2 5

Port of base-hw to RISC-V / lowRISC ?
by Rolf Sommerhalder 22 May '15

22 May '15

Dear list, GSoC has accepted a project to port seL4 to RISC-V (64 bit) architecture, which is used in the lowRISC System-on-a-Chip (SoC) Open Source project. Further, lowRISC supports another project to port rump kernels to minimal RISC-V cores which lowRISC plans to use as I/O co-processors, for example as TCP/IP offload engines [1]. There are tool chains and ports of Linux kernels to RISC-V / lowRISC to run them in simulators and emulators (qemu), on FPGA (Xilinx Zynq), and ASIC [2, 3]. Although my HW/SW co-design skills are a bit rusty, I am tempted to reverse that and try such a port. In order to get a better idea about complexity and effort required, I currently study the sources of base-hw for ARMv7, and its recent port to x86_64 in the staging branch. Is anyone aware of such a porting effort, or has anyone else an interest to run Genode base-hw on RISC-V64, and might want to chime in eventually? Thanks, Rolf [1] http://www.lowrisc.org/blog/2015/05/summer-of-code-students-for-lowrisc/ [2] http://riscv.org/ [3] https://github.com/ucb-bar/rocket-chip

2 1

Building Genode for Linux/ARM
by Alexander Senier 19 May '15

19 May '15

Hi all, I'm trying to build Genode for the Linux base platform for ARM without success so far. Despite having the ARM toolchain installed, my builds always are x86_64. Here is what I did after checking out the source tree: $ cd <genode_dir>/tool $ ./toolchain arm After prompting for my super user password the toolchain gets installed to /usr/local/genode-gcc. The resulting tools (genode-arm-*) appear to work OK. $ ./create_builddir linux_arm $ cd ../build/linux_arm $ make run/demo However, when done an SDL window running the *x86_64* version of the demo pops up. $ file init/init init/init: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped I'm building a current Genode master branch on Debian 8 / x86_64. What am I missing? Cheers, Alex

2 6

An improved Trace tool for the Genode framework
by Duss Pirmin 18 May '15

18 May '15

Hello I have written an improved trace tool for the Genode OS framework. The idea is, to redirect the trace messages to a terminal session. This terminal session can then be connected to over an Ethernet or serial line depending on the terminal server configured. At the moment only one subject can be traced at the time. At the moment I only tested it on Linux and with the Tcp_terminal as server to the "outside" world. You can download it form : https://github.com/trimpim/TraceTool/ Currently open points: - read the configuration from the parent - pause/resume traces - trace of multiple subjects simultaneously Best regards Pirmin

1 0

Genode's core and init running on seL4
by Norman Feske 18 May '15

18 May '15

Hello, I am happy to report that I got the first little Genode scenario (base/run/printf.run) working on the seL4 kernel. For those of you who are interested in following this line of work, I thoroughly documented the steps I had to take: http://genode.org/documentation/articles/sel4_part_3 You can find the corresponding topic branch at: https://github.com/nfeske/genode/commits/sel4 This preliminary version of the seL4 support will be included in the upcoming Genode release. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

signature of equality operators
by Duss Pirmin 18 May '15

18 May '15

Hello I have a the following code: #include <vector> class myClass { private: std::vector<Genode::Trace::Subject_id> mSubjectList; public: bool hasSubjectId(Genode::Trace::Subject_id aSubjectId) const { return std::find(mSubjectList.begin(), mSubjectList.end(), aSubjectId) != mSubjectList.end(); } } If I try to compile it, I get the following error: /home/pirmin/Documents/genode/genode/contrib/stdcxx-fadf4f6ba436fe4846572f00bf057c5ef290c25b/include/stdcxx/bits/stl_algo.h:168:4: error: passing ‘const Genode::Trace::Subject_id’ as ‘this’ argument of ‘bool Genode::Trace::Subject_id::operator==(const Genode::Trace::Subject_id&)’ discards qualifiers [-fpermissive] In base/trace/types.h the signature of the operator==() for Subject_id is defined as follows: bool operator == (Subject_id const &other) { return id == other.id; } Shouldnt it be? bool operator == (Subject_id const &other) const { return id == other.id; } Most recomendations on operator overloading, I have read, recommend this. Best regards Pirmin

2 1

synchronization between normal and secure world
by Stefan Brenner 14 May '15

14 May '15

Hi, just a short question, I am using the TZ VMM example on i.MX53. How can I syncronize accesses to a shared memory range between secure world and normal world? I would be interested in a mutex that can be acquired both from Genode in secure world, as well as from Linux in normal world. Ciao

4 11

Design review for Native File system support - ext2
by Janani k 13 May '15

13 May '15

Hi, I am trying to port an existing native file-system(ext2) to Genode. So, I started porting this in the same place as rump_ext2 so that this can be set up fast to get quick running of the code. I designed it so as to call our native implementation calls instead of rump calls. To get the block sessions working and basic ext2 functionalities checking, I did quick code work to get it up and running. Sorry didn't follow the Genode specifications in coding. I want get suggestions & feedback's on this design and then I will align code to Genode specifications and move further. I am attaching the patch file. And I will list out major things I did in this work to give an overview. 1. It contains totally 3 parts. one which has all Genode related code which used to deal with rump also and handle registry things, so I kept this one as is so as to utilize it again. Second part File-system interface which serves as an abstraction of all the extended file-system types(ext2,ext3,ext4). Third part ext2 this contains the implementation of ext2. 2. All the calls previously to rump will be replaced by this new ext2 implementation. 3. Till now I could get it up running. In this, I linked creating directory or file code, remove a directory, listing of directory entries works. This you can see in main.cc file comments where this gets called. 4. Since I used ram data space the changes I did to the ext2.raw are not persistent. So I removed 3 lines in rump_ext2.run which create ext2.raw file again and again when this demo is run and instead I made it persistent. And I created some directories before hand in this. 5. For mounting it and checking contents use :: $ sudo mount -t ext2 -o loop,rw ./build.lx/bin/ext2.raw /mnt/ext2/ 6 For checking ext2 structure from outside use :: $ dumpe2fs build.lx/bin/ext2.raw Entire development is done running Genode on linux. For compiling and running ext2 use :: make -C build.lx/ run/rump_ext2 Thanks & regards, Janan

3 6

Improved window management
by Nobody III 13 May '15

13 May '15

Genode's window manager is very simple and lacks the following functionality: minimize/maximize/restore close window force kill It seems like the nitpicker service should be modified to support whichever of these functions it doesn't already. I'm unsure of how exactly force kill could be implemented--especially since not all users can be considered trustworthy. How do we fit users into the Genode security model? Users need to be given reasonable authority--complete authority in some cases. Any ideas?

2 4

Segfaults while calling Rpc_methods from client.h
by Aditya Kousik 12 May '15

12 May '15

Hello, Calling Rpc_<method>(args, ...) from Session_client causes segfault 11 when I try to pass anything other than a default datatype. I'm trying to pass an object of std::string, and it prints the string inside the <method> just fine, but when I make the call<Rpc_method>(st), it breaks. I tried working around this by creating a char* pointer instead. Print inside this method works and the rpc to session_component method also reaches, but whatever pointer I receive in the session_component is garbage data. How do I fix the RPC calls? Thanks, Aditya.

2 4

Dynamic linker error?
by Aditya Kousik 11 May '15

11 May '15

Hello, I'm trying to run a modified version of the hello_tutorial to test some libraries that I've recently ported. While I am able to build the binaries, and the boot image, init gives me the following error:

3 8

libcrypto/openssl : Which to use
by Aditya Kousik 09 May '15

09 May '15

To use libcrypto++, I found online that openssl will suffice. But while there is a port file for both libraries, there's no openssl.mk in lib/mk. Grepping the mk files I saw a line in libcrypto.inc which calls select_from_ports,openssl. So, is it the case that we prepare_port for openssl but add LIBS += libcrypto in our target.mk files? Thanks, Aditya

4 16

Re: Help with RaspberryPI USB on Fiasco.OC+Genode
by Reinier Millo Sánchez 07 May '15

07 May '15

Hi Norman I've been testing the USB driver in the RaspberryPI assigning priorities to each processes, but continue losing events. I have also tried changing the top value of cnt, but still the same result. I will continue doing some independent tests of the driver, mouse, keyboard and network independently. If you have any other suggestions? Best regards > Hi Reinier, > >> I have checked the kernel warning about USB's irq, using base_hw and >> base_foc, and have noted (per 8000 need_trigger_sof calls): >> (base_hw) - kicked 5, filtered aproximatelly 7600 and triggered >> aproximatelly 250 IRQs >> (base_foc) - kicked 3, filtered aproximatelly 7700 and triggered >> aproximatelly 140 IRQs >> There is a big difference in the triggered and filtered irqs. Any idea >> or suggestion?? > SOF interrupts are filtered unless the USB driver explicitly calls > 'schedule_sof_interrupt' and thereby propagates the next > frame-to-deliver via the GUID scratch register to the kernel. If, for > some reason, the USB driver is not scheduled timely enough, it might > miss the scheduling of a frame. This can happen if the USB driver runs > concurrently with another program that consumes a lot of CPU time. In > such a scenario, the scheduling of the USB driver depends on the > scheduler of the kernel. Since Fiasco.OC has a different scheduler than > base-hw, the effect ultimately depends on the kernel. One way to work > around it is to run the USB driver at a high priority. I.e., by > assigning a priority of "-1" to all components except for the USB and > timer drivers. For an example of how to use priorities in Genode, please > have a look at the gems/run/wm.run script. Look out for the > 'prio_levels' and 'priority' attributes. > > Note that this is just a guess. If the effect also occurs when not > running a CPU hungry program besides the USB driver, the guess is most > likely wrong. > >> I don't understand the use of cnt variable (need_trigger_sof). Why use >> 160 as counter top?? > This mechanism ensures that an interrupt is delivered every now and then > - even if the USB driver has not scheduled a frame. There are 8000 IRQs > coming in per second. With the value of 160, an interrupt is forwarded > to the USB driver every 20 milliseconds, which appeared to me as a > low-enough rate to have a negligible effect on the system's performance. > >> I'm waiting fix this problem to upload the patch to GitHub. >> I have tested the USB driver using two versions of Fiasco.OC, the >> default Fiasco.OC version (https://github.com/ssumpf/foc.git) and a more >> recently version (https://github.com/skalk/foc.git), but have the same >> problem. >> >> Furthermore I have tested succesfully the support of Genode with >> Fiasco.OC as microkernel for RaspberryPI using the autopilot tests: >> (util_mmio,ldso,timer,lwip,rm_fault,rom_blk,tar_rom,noux,libc_ffat,libc_vfs,timed_semaphore,signal,sub_rm,python,thread_join,failsafe,noux_tool_chain_auto, >> seoul-auto,resource_request,xml_generator,blk_cache,rump_ext2,thread,pthread, >> netperf_lwip, netperf_lwip_usb30, netperf_lwip_bridge, netperf_lxip, >> netperf_lxip_usb30, netperf_lxip_bridge) >> Now I'm trying to test l4linux and other more complex examples. > -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas Carretera a CamajuanÃ Km 5 1/2 Santa Clara, Villa Clara, Cuba CP 54830 "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 5

Strictness in syntax of Makefiles
by Aditya Kousik 07 May '15

07 May '15

Hello all, I'm still learning my ropes at writing Makefiles and make descriptor files. I can't seem to get the filter-out option working properly. Despite filling out FILTER_OUT = somefile.cpp SRC_CC += $(filter-out $(FILTER_OUT),$(notdir $(wildcard $(SRC_DIR)/subdirs/*.cpp))) the build system continues to add these to the set of files to be built. Next, most of the screen is bombarded with unused-variable and unused-function warnings. I tried to suppress them as mentioned in the build system manual with the CC_OPT += -Wunused-function -Wunused-variable Build system still throws the above warnings. Are the spacing and/or use of commas crucial to the build system? Thanks and regards, Aditya

1 1

ARM TrustZone Demo in i.MX53 SABRE Tablet
by JaeminPark 06 May '15

06 May '15

Today, I got Freescale i.MX53 SABRE Tablet and I’d like to make demo as described “Shortcut” in README (https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/i… <https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/i…>). After boot-up the tablet, I failed to load image.bin into the device. It could be a ridiculous question, but please tell me which point I did wrong. My procedure was as follows : 1) Download image.bin from URL in https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/i… <https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/i…> 2) Setup sdcard as follows : (sdcard is mounted in /dev/sdb) sudo parted /dev/sdb --script mklabel msdos sudo parted /dev/sdb --script mkpart primary ext4 5M 100% sudo dd if=$(U-BOOT-DIR)/u-boot.imx of=/dev/sdb seek=2 bs=512 conv=fsync sudo fdisk -l /dev/sdb sudo mkfs.ext4 /dev/sdb1 sudo udisks --mount /dev/sdb1 sudo cp image.bin /media/371a8dd7-58c1-4beb-aed3-cb18fb40f7eb/ sudo udisks –-unmount /dev/sdb1 3) insert sdcard into MMC adapter, and then insert MMC (sdcard) into the tablet 4) After power up the tablet, U-BOOT prompt (u-boot from MMC is not used), I did as follows : MX53-SMD U-Boot > ext2load mmc 0:1 0x70800000 image.bin (hang forever) So, I couldn’t load image.bin into the tablet, thus I couldn’t boot demo image in the tablet. If possible, (for the beginner in this field) please let me know full procedures to set up the MMC (sdcard) for this demo.

2 2

Memory access in tz_vmm
by chirag garg 06 May '15

06 May '15

Hi all, I am working on i.MX6 Sabre Lite board. Total ram available in this board is 1GB (0x10000000-0x50000000). To demonstrate TrustZone, i tried to run tz_vmm with Genode in Normal world also. So i divide the available RAM as secure (0x10000000-0x30000000) and normal (0x30000000-0x50000000). On the normal world ram, secure world also have the access which is programmed in tzasc (tsc_380.h) driver. I tried to access normal world region (0x40000000) through IO_MEM from the secure world but when i am trying to create the iomem object for 0x40000000 region in tz_vmm. It gives me the following fault. I/O memory [40000000,50000000) not available Local MMIO mapping failed! [init -> tz_vmm] C++ runtime: Genode::Parent::Service_denied I have included this region in mmio_regions inside the platform_support.cc also. What could be the reason for this fault. ? Log : Starting kernel ... kernel initialized Core virtual memory allocator --------------------- Allocator 10135250 dump: Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000 Block: [00002000,00003000) size=00001000 avail=00000000 max_avail=00000000 Block: [00003000,00004000) size=00001000 avail=00000000 max_avail=ef832000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=ef832000 Block: [00006000,00007000) size=00001000 avail=00000000 max_avail=00000000 Block: [00007000,10001000) size=0fffa000 avail=0fffa000 max_avail=ef832000 Block: [107be000,ffff0000) size=ef832000 avail=ef832000 max_avail=ef832000 => mem_size=4286783488 (4088 MB) / mem_avail=4286758912 (4088 MB) RAM memory allocator --------------------- Allocator 101341f4 dump: Block: [10000000,10001000) size=00001000 avail=00000000 max_avail=00000000 Block: [107be000,107bf000) size=00001000 avail=00000000 max_avail=00000000 Block: [107bf000,107c0000) size=00001000 avail=00000000 max_avail=00000000 Block: [107c0000,107c1000) size=00001000 avail=00000000 max_avail=0f83d000 Block: [107c1000,107c2000) size=00001000 avail=00000000 max_avail=00000000 Block: [107c2000,107c3000) size=00001000 avail=00000000 max_avail=0f83d000 Block: [107c3000,20000000) size=0f83d000 avail=0f83d000 max_avail=0f83d000 => mem_size=260321280 (248 MB) / mem_avail=260296704 (248 MB) IO memory allocator ------------------- Allocator 101362b8 dump: Block: [00000000,10000000) size=10000000 avail=10000000 max_avail=20000000 Block: [30000000,50000000) size=20000000 avail=20000000 max_avail=20000000 => mem_size=805306368 (768 MB) / mem_avail=805306368 (768 MB) IRQ allocator ------------------- Allocator 10137314 dump: Block: [00000000,00000400) size=00000400 avail=00000400 max_avail=00000400 => mem_size=1024 (0 MB) / mem_avail=1024 (0 MB) Genode 15.02 int main(): --- create local services --- int main(): --- start init --- : : [init] child "tz_vmm" [init] RAM quota: 3932160 [init] ELF binary: tz_vmm [init] priority: 0 I/O memory [40000000,50000000) not available Local MMIO mapping failed! [init -> tz_vmm] C++ runtime: Genode::Parent::Service_denied [init -> tz_vmm] void* abort(): abort called Regards Chirag Garg IIT Madras , Rise Lab

2 2

i.MX53 TrustZone cross world interactions
by Ofer Hasson 06 May '15

06 May '15

Hey, I'm using Freescale i,MX53 QSB. I'm trying to transfer data between the secure world and the normal world, at the moment, I manage to transfer data using the CPU registers (using Linux kernel module I wrote), and I manage to receive them on the hypervisor. I would like to transfer larger structure, for example a memory buffer, I'm allocating in the normal world kernel a buffer, I send the physical address (using __pa) to the secure world. My question is, how in the Genode hypervisor I can access this memory address ? Any idea will be helpful Thanks Ofer

3 3

Porting GNU libraries
by Aditya Kousik 05 May '15

05 May '15

Hello I'm trying to port libsqlite which is a dependency for another application (which I'm also trying to port). The build of this library is a one line compilation. But it requires a -ldl flag for dynamically loaded libraries (it uses dlopen() and dlfcn.h). I've tried getting the source for this, to no avail so far. Is there a way to link libraries directly from the linux host. Intuitively, that doesn't seem to work. Thoughts on how to move forward? Thanks and regards, Aditya

6 15

Run scripts not working on Raspberry Pi
by Aditya Kousik 05 May '15

05 May '15

Hello, I built a sample run/printf and run/nested_init to test serial output on the Raspberry Pi. Funnily enough, I got a console output when I built it a week back. The same compilation doesn't work now. I don't see any output at all. What could have gone wrong? (I copied the boot folder of the default firmware to my SD card) I pasted genode.img after running the objcopy command as well. Any input would be helpful. Thanks Aditya

2 2

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2015