users December 2015

users@lists.genode.org

33 participants
26 discussions

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

07 Jun '16

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

6 16

How to calculate the TCB size
by JaeminPark 19 Jan '16

19 Jan '16

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 "var/libcache" folder, and there the compiled files for my build configuration could be found. Do I need to check all files listed in each .d files in “var/libcache” or is there any efficient way to count the number of lines for the TCB?

3 2

Roadmap 2016
by Norman Feske 18 Jan '16

18 Jan '16

Hello, the end of the year 2015 is approaching. So it is time for planning our activities for the upcoming year. I plan to finalize the roadmap until mid of January. Hereby, I'd like to kick off the discussion. It goes without saying that everyone of you is invited to join in! Before I come to my suggestions for 2016, let me briefly revisit the outcome of the roadmap for the past year. One year ago, I suggested three main topics to work on, namely the use of Genode as general-purpose OS, the advancement of our custom base-hw kernel platform, and the use of the seL4 kernel. In the discussions following my posting, many further points were raised, most prominently the need for through documentation, package management, and a sustainable quality of the base system in terms of stability and performance. In top of that, we received quite a few wishes of higher-level functionality such as a modern web browser or other typical desktop-computing features. Of course, we were not able to address all those topics but I am overly happy that we reached the point where a hand full of us (including me) are using Genode as their day-to-day OS. When I initially switched to using the Turmvilla scenario [1] at the end of May, the experience was admittedly a bit painful. But now, just a few months later, the beauty of the system becomes apparent as all the pieces come so nicely together. The performance, stability, and device-driver support have reached a level that leaves people impressed every time I have the chance to show off my system. Once people become interested, there is now the book available, which provides a smooth introduction into Genode. The feedback I receive about the book is overwhelmingly positive. So we did something right in 2015. :-) After having passed the point where a few of us are able to use Genode as day-to-day OS, we should put the emphasis of the upcoming year on ways to make Genode accessible for a wider community. In a recent posting [2], I identified two possible ways to do that. The first way would be publishing a series of step-by-step guides that explain how to put Genode components together in order to create custom system scenarios. Those articles could be accompanied by screencasts or live-system images. Example scenarios could be the Turmvilla scenario, building a home-computer-like system for kids using the Raspberry Pi (like the Genode system my kids are using), building a network appliance like a data diode, tinkering with the USB Armory, etc. Those articles should be inviting to people who enjoy the building of systems. The second way would be to showcase a system with practical value to end users. I am thinking along the lines of a disposable OS like Tails that allows the user to browse the internet via the Tor network. But that is just an idea. In this spirit, I propose the overall focus of 2016 to be: Let us make Genode accessible to the world outside the inner circle of us enthusiasts. On a technical level, this motive implicates the following topics: * The deployment and management of Genode systems, i.e., by bringing forward Emery's work on the Nix package manager. This direction also reinforces the need to achieve binary compatibility between the various base platforms to make the distribution of binary packages, reproduceable builds, and continues test-and-integration scalable. * Supplementing Genode with user-friendly means to configure the system (e.g., wireless network, audio, display settings). Right now, I use Vim as configuration front end, which is cool, but also intimidating to less technical-minded users. * Accommodation of common desktop use cases like plugging in a USB stick to work with the files stored on it. Also disk encryption comes into mind. * Optimization of Genode for the use on a laptop, e.g., addressing fan control, power management, suspend/resume, and similar features. There are also other possible avenues to support the stated goal: * Identifying ways of how Genode could play a role in related projects like Qubes OS. For example, we could promote the use of Genode as a tool for building App VMs as Qubes subsystems. Granted, this scenario leaves the architectural benefits of Genode with respect to its small TCB complexity unused as Qubes still relies on Xen, and Linux as Dom0. But Genode would still (possibly) provide value to the Qubes project. Maybe, there would be the prospect to replace Dom0 with Genode in the longer term? However, to drive this direction of work, we would certainly need someone who is actually using Qubes and has the natural incentive to work on such an integration. * Making Genode-based systems easily deployable on Amazon's EC2. Similar to the previous point, it would be beneficial to have someone working on this topic who is naturally interested in cloud computing. * Foster the cross-pollination of the seL4 and Genode communities. I got enthusiastic responses about my seL4-related work. There is definitely a strong interest in this kernel and a growing anticipation for formally verified software. Today, seL4 lacks a scalable user-level architecture. This would be the perfect place where Genode could step in. Genode would ultimately allow the seL4 community to move beyond static system scenarios. Assuming that we succeed in drawing the attention of a broader audience to our project, we should make sure that Genode's API won't undergo major changes soon after this point. Today, I still see a number of deficiencies in the current API. In the past year, we successively moved to a new model of the API (dubbed server API) that promotes the construction of components as state machines rather than procedural programs. All recent components are designed in this style to the great benefit of their robustness. We should finally promote this style towards the base API and get rid of some mistakes we made in the past, in particular the reliance on side effects by using the globally visible Genode::env. I think that we should finalize this API renovation until the mid of 2016. This will also be right the time for updating the Genode book. These are my thoughts about the upcoming year. Now I am curious about yours! :-) Cheers Norman [1] https://github.com/genodelabs/genode/issues/1552 [2] https://github.com/genodelabs/genode/issues/1000#issuecomment-161260312 -- 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

14 47

tz_vmm demo on imx53qsb
by Joseph Lee 11 Jan '16

11 Jan '16

Hi everyone, i am currently trying to run trustzone demo on imx53 Quick Start Board (qsb). In which i want to run Android OS in the normal world. i followed the instruction in this link ( https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/i…) and built the uImage successfully. I put the uImage on the SD card partition (/dev/mmcblk0p1). However, when try to boot the uImage, it gets stuck after displaying the following outputs. I have attached the whole log messages. FYI, the SD card has two partitions(/dev/mmcblk0p1 and /dev/mmcblk0p2) with ext4 format. mmc0: new high speed SDHC card at address 0007 mmcblk0: mmc0:0007 SD32G 28.9 GiB mmcblk0: p1 p2 init: cannot open '/initlogo.rle' EXT4-fs (mmcblk0p2): mounted filesystem with ordered data mode. Opts: (null) EXT4-fs (mmcblk0p2): re-mounted. Opts: (null) init: Unable to open persistent property directory /data/property errno: 2 init: cannot find '/system/bin/sh', disabling 'console' init: cannot find '/system/bin/servicemanager', disabling 'servicemanager' init: cannot find '/system/bin/vold', disabling 'vold' init: cannot find '/system/bin/netd', disabling 'netd' init: cannot find '/system/bin/dispd', disabling 'dispd' init: cannot find '/system/bin/debuggerd', disabling 'debuggerd' init: cannot find '/system/bin/app_process', disabling 'zygote' init: cannot find '/system/bin/mediaserver', disabling 'media' init: cannot find '/system/bin/dbus-daemon', disabling 'dbus' init: cannot find '/system/bin/installd', disabling 'installd' init: cannot find '/system/etc/install-recovery.sh', disabling 'flash_recovery' init: cannot find '/system/bin/keystore', disabling 'keystore' init: cannot find '/system/bin/rild', disabling 'ril-daemon' init: cannot find '/system/bin/magd', disabling 'magd' init: cannot find '/system/bin/wlan_tool', disabling 'wlan_tool' could you please let me know what is missing? thank you!

2 6

My website running Genode
by Guido Witmond 01 Jan '16

01 Jan '16

Hi Genodians, With the release 15.11 I've build a new working Genode system with lighttpd on top of the Fiasco kernel, the only kernel that likes my hardware. I've solved the 256Kb problem a while ago. However, there is one issue with lightttp remaining. It has an artificial limit on urls or filenames. It doesn't like this one: http://eccentric-authentication.org/blog/2014/03/26/how-to-design-a-distrib… . It gives a 404, while nginx on linux serves the contents. As it's probably lighttpd. I'll check that out. There is another issue, the whole site stops responding after a little time. Clicking new urls just give timeouts. Please advice how to proceed. I've attached the generated config file. With regards, Guido Witmond.

3 5

vbox_usb_run bin/nic_drv missing
by a3an 23 Dec '15

23 Dec '15

Hi, I am using the vbox_usb_run script from Alexander Boettcher to create a VirtualBox/win7 image on a usb stick. At the end of "make -C build/nova_x86_64 run/vbox_usb" I get a nessage suggesting that bin/drv_nic cannot be found. I am sure to have missed a make prepare run of something, I cannot find out what. Could you give me a hint ? Thanks, Adrian Schuur adrian@...376...:~/test/usb/genode-vbox_usb_run$ make -C build/nova_x86_64 run/vbox_usb make: Entering directory `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64' including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/boot_dir/nova including /home/adrian/test/usb/genode-vbox_usb_run/tool/run/image/disk including /home/adrian/test/usb/genode-vbox_usb_run/repos/ports/run/vbox_usb.run building targets: server/input_merger drivers/nic drivers/audio server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core init virtualbox server/part_blk server/rump_fs drivers/ahci drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/x86/device_pd spawn make server/input_merger drivers/nic drivers/audio server/nitpicker app/vbox_pointer server/nit_fb server/report_rom core init virtualbox server/part_blk server/rump_fs drivers/ahci drivers/framebuffer drivers/timer drivers/input drivers/usb drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/x86/device_pd make[1]: Entering directory `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64' Makefile:115: target `server/report_rom' given more than once in the same rule. checking library dependencies... Skip target drivers/audio/linux because it requires linux Skip target drivers/framebuffer/exynos5 because it requires exynos5 Skip target drivers/framebuffer/imx53 because it requires imx53 Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/rpi because it requires platform_rpi Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/imx53 because it requires imx53 Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/nic/lan9118 because it requires lan9118 Skip target drivers/nic/linux because it requires linux Skip target drivers/platform/arndale because it requires platform_arndale Skip target drivers/platform/imx53 because it requires imx53 Skip target drivers/platform/odroid_x2 because it requires platform_odroid_x2 Skip target drivers/platform/rpi because it requires platform_rpi Library platform Library cxx Library syscall Library startup Library base-common Library core Program core/core COMPILE version.o LINK core Library base Program drivers/acpi/x86/acpi_drv Library server Library config Library ahci_platform Program drivers/ahci/ahci_drv Library blit Library x86emu Program drivers/framebuffer/vesa/fb_drv Program drivers/input/dummy/dummy_input_drv Program drivers/input/ps2/x86/ps2_drv Program drivers/platform/x86/device_pd/device_pd Program drivers/platform/x86/platform_drv Program drivers/rtc/x86/rtc_drv Library alarm Library timer Program drivers/timer/timer Library libc-setjmp Library usb Program drivers/usb/usb_drv Library init_pd_args Program init/init Program server/input_merger/input_merger Program server/nit_fb/nit_fb Program server/nitpicker/nitpicker Program server/part_blk/part_blk Program server/report_rom/report_rom Library ldso-startup Library timed_semaphore Library ld CC=/usr/local/genode-gcc/bin/genode-x86-gcc BUILD_CC=cc BUILD_AR=ar BUILD_NM=nm BUILD_OBJCOPY=objcopy AR=/usr/local/genode-gcc/bin/genode-x86-ar NM=/usr/local/genode-gcc/bin/genode-x86-nm OBJCOPY=/usr/local/genode-gcc/bin/genode-x86-objcopy CC_TARGET=genode-x86-gcc /home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/buildrump.sh -k -V'MAKEVERBOSE=0' -V'NOGCCERROR=1' -V'RUMP_LOCKS_UP=yes' -s /home/adrian/test/usb/genode-vbox_usb_run/contrib/dde_rump-8719ed349bf425eb570d0ee7f16acf980b44adb4/src/lib/dde_rump/src -T /home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump/tools -o /home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump/obj -d /home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64/var/libcache/rump setupdest >> buildrump.sh ran successfully Library rump Library rump_fs Program server/rump_fs/rump_fs Library libc-string Library libc-locale Library libc-stdlib Library libc-stdio Library libc-gen Library libc-gdtoa Library libc-inet Library libc-stdtime Library libc-regex Library libc-compat Library vfs Library libc Library libm Library config_args Library stdcxx Library virtualbox-bios Library virtualbox-recompiler Library virtualbox-runtime Library virtualbox-vmm Library virtualbox-devices Library virtualbox-drivers Library virtualbox-storage Library virtualbox-zlib Library virtualbox-liblzf Library virtualbox-hwaccl Library virtualbox-xml Library virtualbox-main Library pthread Library libc_terminal Library libc_lock_pipe Library libiconv Program virtualbox/virtualbox Program app/vbox_pointer/vbox_pointer make[1]: `server/report_rom' is up to date. make[1]: Leaving directory `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64' genode build completed cp: cannot stat âbin/nic_drvâ: No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "run_boot_dir" line 6) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/adrian/test/usb/genode-vbox_usb_run/repos/ports/run/vbox_win.inc" line 196) invoked from within "source ${genode_dir}/repos/ports/run/vbox_win.inc" (file "/home/adrian/test/usb/genode-vbox_usb_run/repos/ports/run/vbox_usb.run" line 59) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/adrian/test/usb/genode-vbox_usb_run/tool/run/run" line 636) make: *** [run/vbox_usb] Error 1 make: Leaving directory `/home/adrian/test/usb/genode-vbox_usb_run/build/nova_x86_64' adrian@...376...:~/test/usb/genode-vbox_usb_run$

4 5

Dataspace Allocation Size and Quota
by Georg Guba 22 Dec '15

22 Dec '15

Hi all, I'm trying to allocate a dataspace dynamically at runtime and transfer quota accordingly. However, it seems the allocation always requires more quota than the actual allocation size. E.g. Genode::Ram_connection ram; ram.ref_account(Genode::env()->ram_session_cap()); Genode::Ram_dataspace_capability ds; Genode::env()->ram_session()->transfer_quota(ram.cap(), 32*1024); PDBG("Quota: %d/%d\n", ram.used(), ram.quota()); ds = ram.alloc(28*1024); PDBG("Quota: %d/%d\n", ram.used(), ram.quota()); This shows 0/32769 on the first print and 28672/32769 on the second which is exactly what you'd expect. Allocating 29 KiB with a 32 KiB quota, however, will throw a Quota_exceeded exception, still printing 0/32769 on the first print. It seems you need about 4 KiB of spare quota but I can't seem to find any doc on this. How much quota should I actually reserve for simple allocations like this and why isn't it simply the same as the actual allocation size? I'd like to avoid magic numbers and wasteful allocation if possible. Cheers, Georg

3 2

grsecurity R.I.P.
by Jyri Hovila [Turvamies.fi] 22 Dec '15

22 Dec '15

Dear everyone, perhaps someone has already brought this up on the list, but I'll dig it a bit anyways. As I'm sure many of the people on the list are already aware, grsecurity has gone closed source with their stable branch. While grsecurity is far from dead, the fact that the stable version is now only available to paying customers does change the scene somewhat. It also reminds us that open source does not guarantee endless availability. Despite all the great innovations the grsecurity team has come up with, the "solution" of having to (individually) patch each and every new kernel version was never a real solution anyways. What I would personally love to see is Linux kernel running on/in Genode. I know it's very different from running a micro kernel, and I know it would require lots of work - but then again, the past situation with grsecurity (and other tweaks) required hell of a lot of work anyways. I'm actually working on a little thingy based on OpenBSD, and would be interested in leading a task force with the goal of making both BSD and Linux kernels run on Genode. If any similar minded individuals are listening in, please give me a shout! Yours, Jyri -- +358-50-5632104 (24/7) jyri.hovila@...377...

4 3

tz_vmm demo on USB Armory
by John David 21 Dec '15

21 Dec '15

Hello, I run tz_vmm demo on USB Armory as described in this Article <http://genode.org/documentation/articles/usb_armory> it displays log messages (see on the attached ) and hangs. The tz_vmm start the virtual machine (Linux) but I couldn't get a Linux shell to run Linux commands so i have no chance to access the root file system on the SD_card (non-secure). it could be a ridiculous question but please tell me what is missing? Thanks, John

3 9

Node.js
by Emery 18 Dec '15

18 Dec '15

Hello list, I am working on porting libuv right now, which is the event loop backend for Node.js, though I need libuv for different project. I had looked a little into porting Node, but after using the language I am less than ethusiastic about it. However, if there someone else who is interested in coordinating on a Node port then now would be a good time. The V8 javascript engine looks like it may be less effort than libuv, with that and libuv out of the way Node may not be too difficult. Cheers, Emery

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users December 2015