users May 2017

users@lists.genode.org

27 participants
22 discussions

Microkernel + Alumni Meetup
by Bjoern Doebel 30 May '17

30 May '17

Hi all, it has been a while since we last met for a beer. Water went down the Elbe river, companies were closed, companies were started, research papers got accepted, technical advancements were made. Let's catch up on all of that! To find a suitable time, please visit https://dudle.inf.tu-dresden.de/ukm-01-2017/ Bjoern

1 2

Libreboot and GuixSD
by Dawson Shay 26 May '17

26 May '17

Hello, First of all thank you very much for your time! I have but two questions: first off, is Genode compatible with Libreboot? Secondly, I had this https://gist.github.com/ehmry/66f0aafefc7b3fefb14ebede5f64f94b , and it has me wondering if such a thing might be possible with an operating system such as GuixSD (a NixOS fork)? Thank you for your time! -Dawson

4 3

tool_chain for 64 bit
by Boris Mulder 23 May '17

23 May '17

I'm trying to compile the new toolchain using tool/tool_chain x86. However, it gives the following error: configuring bootstrap gcc... The following languages will be built: c,ada,c++,lto *** This configuration is not supported in the following subdirectories: target-libquadmath gotools target-libgfortran target-libgo target-libffi target-zlib target-libjava target-libobjc target-libgomp target-libcilkrts target-liboffloadmic target-libatomic target-libitm target-libsanitizer target-libmpx target-libssp target-boehm-gc (Any other directories should still work fine.) /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find crt1.o: No such file or directory /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find crti.o: No such file or directory /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.8/libgcc.a when searching for -lgcc /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find -lgcc /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.8/libgcc_s.so when searching for -lgcc_s /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find -lgcc_s /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find -lc /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.8/libgcc.a when searching for -lgcc /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find -lgcc /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.8/libgcc_s.so when searching for -lgcc_s /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find -lgcc_s /home/boris/projects/l2-17.05/build/bootstrap/install/bin/ld: cannot find crtn.o: No such file or directory collect2: error: ld returned 1 exit status configure: error: I suspect your system does not have 32-bit development libraries (libc and headers). If you have them, rerun configure with --enable-multilib. If you do not have them, and want to build a 64-bit-only compiler, rerun configure with --disable-multilib. I don't need the 32 bit stuff. However, I have no idea in which configure scripts this should be put. What do I need to do to build the toolchain for 64 bit? -- Met vriendelijke groet / kind regards, Boris Mulder Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands +31 35 631 3253 (office)

4 5

nic_drv crashes with resource request
by Boris Mulder 22 May '17

22 May '17

Hello, When I try to run my scenario under the latest master branch, the nic_drv stops working with the following message: [init] child "nic_drv" announces service "Nic" [init -> nic_drv] resource_request: ram_quota=1642496 [init -> nic_drv] used before freeing emergency=2478080 [init -> nic_drv] used after freeing emergency=2461696 [init] child "nic_drv" requests resources: ram_quota=1642496 I've tried giving it and its client (in this case vfs with lxip) more RAM, but to no avail. Currently the config looks like this: <start name="vfs"> <resource name="RAM" quantum="36M"/> <provides> <service name="File_system"/> </provides> <config ld_verbose="yes"> <vfs> <lxip ip_addr="$ip_addr" netmask="255.255.255.0" gateway="$gateway_ip_addr" nameserver="8.8.8.8"/> </vfs> <libc/> <default-policy writeable="yes" /> </config> <route> <service name="Nic"> <child name="nic_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="nic_drv"> <resource name="RAM" quantum="4M"/> <provides> <service name="Nic"/></provides> <config verbose="yes"> <libc stdout="/dev/log" stderr="/dev/log"/> <vfs> <dir name="dev"> <log/> </dir> </vfs> </config> </start> What could I be doing wrong? -- Met vriendelijke groet / kind regards, Boris Mulder Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands +31 35 631 3253 (office)

2 1

Porting LibVMI
by Miguel Correia Guerra 18 May '17

18 May '17

Hi, I'm currently working with the TrustZone VMM example from Genode based on Genode 16.08 on i.MX53 QSB. So far I've been able to create a shared buffer which can be used for cross-world communication. My next step would be to try and port LibVMI[1] and attempt to run it in the Trustzone. Since I'm pretty new to this I would like to know which would be the best approach to start tackling this issue. Best regards, Miguel Guerra [1] - http://libvmi.com/

2 1

Reg: muen building errors
by S.SIVAREDDY 17 May '17

17 May '17

Hi christian.helmuth, I was building the muen for windows7 os as per this link(https://genode.org/documentation/release-notes/16.08#Experimental_vers…. But while running the following command to build the muen below errors came. /home/ubuntu/genode/build/muen $ make run/log then the kernle/build.log following errors came. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make[5]: Nothing to be done for `download'. make -C contrib checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking whether make sets $(MAKE)... yes checking for a BSD-compatible install... /usr/bin/install -c checking for ranlib... ranlib checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking bfd.h usability... yes checking bfd.h presence... yes checking for bfd.h... yes checking dis-asm.h usability... yes checking dis-asm.h presence... yes checking for dis-asm.h... yes checking demangle.h usability... no checking demangle.h presence... no checking for demangle.h... no checking libiberty/demangle.h usability... yes checking libiberty/demangle.h presence... yes checking for libiberty/demangle.h... yes checking for bfd_openr in -lbfd... yes checking for dlopen in -ldl... yes checking for dcgettext in -lintl... no configure: creating ./config.status config.status: creating Makefile config.status: creating bfdada.gpr config.status: creating distrib/bfdada.gpr config.status: creating src/config.h make LIBRARY_TYPE=static build mkdir -p bin gcc -o bin/bfdgen -g -O2 -DHAVE_LIB_DL=1 -Isrc -g support/bfdgen.c bin/bfdgen > src/bfd-constants.ads gprbuild -XMODE=distrib -XPROCESSORS=4 -m -p -P"bfdada.gpr" -XMODE=distrib -XLIBRARY_TYPE=static -XPROCESSORS=4 object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static" created library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/lib/static" created for project bfdada gcc-4.6 -c -O2 bfd-disassembler-c.c gcc-4.6 -c -O2 bfdc.c gcc-4.6 -c -gnatn -g -O2 bfd-sections.adb gcc-4.6 -c -gnatn -g -O2 bfd-internal.ads gcc-4.6 -c -gnatn -g -O2 bfd.adb gcc-4.6 -c -gnatn -g -O2 bfd-symbols.adb gcc-4.6 -c -gnatn -g -O2 bfd-files.adb gcc-4.6 -c -gnatn -g -O2 bfd-constants.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin-disassembler.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin-sections.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin.ads gcc-4.6 -c -gnatn -g -O2 bfd-thin-symbols.ads gcc-4.6 -c -gnatn -g -O2 bfd-disassembler.adb gprlib ada-bfd.lexch ar cr /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/lib/static//libada-bfd.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static/bfd-disassembler-c.o /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static/bfdc.o ... ranlib libada-bfd.a make LIBRARY_TYPE=static install_lib mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/ mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada cp -p src/*.ad[bs] /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada sed -e "s,INSTALL,/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build,g" -e "s,LIBRARY_TYPE,static,g" < distrib/bfdada.gpr > /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada.gpr cp -p lib/static/*.ali /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada/ cp lib/static/libada-bfd.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static" created library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/lib/static" created for project alog gcc-4.6 -c -W -Wall -Werror -O3 glue_syslog.c gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-active_logger.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-exceptions.ads gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-policy_db.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-maps.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-logger.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-controlled_map.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-transforms.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-transforms-casing.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-tasked_logger.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-log_request.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities-syslog.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-helpers.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog.ads gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities-file_descriptor.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-policy_db-types.adb gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-protected_containers.adb gprlib alog.lexch ar cr /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/lib/static//libalog.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static/glue_syslog.o /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static/alog-active_logger.o ... ranlib libalog.a install -m 644 src/*.ad[bs] /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/include/alog install -m 444 lib/static/*.ali /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib/alog install -m 644 gnat/alog.gpr /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib/gnat install -m 444 lib/static/libalog.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking whether ln -s works... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking POSIX termios... yes checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking whether termios.h defines TIOCGWINSZ... no checking whether sys/ioctl.h defines TIOCGWINSZ... yes checking whether gnat can build shared libs... no (--disabled-shared) checking for python... no checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/param.h... yes checking for getpagesize... yes checking for working mmap... yes checking for pkg-config... /usr/bin/pkg-config checking for pygtk... no (incompatible gtk+ version) checking for pygobject... no (disabled by user) checking for PostgreSQL... no checking for sqlite... no checking for gmp... no checking for libiconv... no, disabled by user checking whether libgpr exists... no checking for readline... no, this is a pure GPL library (see --enable-gpl) checking whether platform supports atomic inc/dec... yes configure: creating ./config.status config.status: creating gnatcoll_shared.gpr config.status: creating Makefile.conf configure: --------- Summary for GNAT Components -------------- configure: Shared libraries: no (default: static) configure: Static PIC libraries: no (see --enable-static-pic) configure: Gtk+: no (requires pkg-config and gtkada.gpr) configure: Python: no no (see --with-python) configure: PyGtk: no (see --enable-pygtk) configure: PyGObject: no (see --enable-pygobject) configure: Syslog: no (see --enable-syslog) configure: Readline (GPL license): no (see --with-readline --enable-gpl) configure: gmp: no (see --with-gmp) configure: PostgreSQL: no (see --with-postgresql) configure: Sqlite: no (see --with-sqlite) configure: Iconv: no (see --with-iconv) configure: Projects: no configure: install libgpr to override configure: Xref: no configure: -------------------------------------------- ====== Building static libraries ====== gprbuild -p -m -j0 -XLIBRARY_TYPE=static -XGnatcoll_Build=Production -Pgnatcoll_full object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj" created object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/gnatcoll/static" created for project gnatcoll library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/gnatcoll/static" created for project gnatcoll object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/python/static" created for project gnatcoll_python library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/python/static" created for project gnatcoll_python object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/postgres/static" created for project gnatcoll_postgres library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/postgres/static" created for project gnatcoll_postgres object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/sqlite/static" created for project gnatcoll_sqlite library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/sqlite/static" created for project gnatcoll_sqlite object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/readline/static" created for project gnatcoll_readline library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/readline/static" created for project gnatcoll_readline gcc-4.6 -c -O2 -gnatn -gnatwaCJ gnatcoll-readline.adb gcc-4.6 -c -O2 -gnatn -gnatwaCJ gnatcoll-sql-sqlite-builder.adb gnatcoll-refcount.ads:176:15: aspect identifier expected gnatcoll-refcount.ads:248:48: missing ";" gnatcoll-refcount.ads:249:10: "with" can only appear in context clause compilation of gnatcoll-sql-sqlite-builder.adb failed gprbuild: *** compilation phase failed make[7]: *** [build_library_type/static] Error 4 make[6]: *** [/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/.gnatcoll-build] Error 2 make[5]: *** [build_recipes] Error 1 make[4]: *** [contrib] Error 2 Genode - Release notes for the Genode OS Framework 16.08<https://genode.org/documentation/release-notes/16.08#Experimental_version_o…> genode.org Release notes for the Genode OS Framework 16.08. The formal verification of software has become an intriguing direction to overcome the current state of omnipresent ... So please help to me build the muen. Regards, S.SIVA REDDY.

2 1

Planning of Hack'n'Hike 2018 gathering
by Martin Stein 16 May '17

16 May '17

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, probably the most significant project was the Quake 3 scenario of @cnuke and @ssumpf. They achieved to let us play Quake 3 on Genode in LAN multiplayer in the end. With fluent 70-120 FPS using the Intel GPU driver and low-latency sound. That was a great experience and a lot of fun. Furthermore, there were projects working on a Freeciv port, Raspberry Pi 3 support, native i.MX USB support, tooling for the new depot/package system, Virtualbox 5 support in Muen, and more ... . That said, we'd like to invite you to continue hacking and hiking with us in 2018 ;-) This github issue [1] is meant as base for organizing, joining in, and getting informed. So, please feel free to post there if you have questions or suggestions regarding the Hack'n'Hike and, if you're interested, keep an eye on the issue as we will post all news in there. Cheers, Martin [1] https://github.com/genodelabs/genode/issues/2412

1 0

lighttpd.run
by Baconicsynergy 10 May '17

10 May '17

Hello! I've successfully compiled lighttpd.run on both seL4 and NOVA and set a static ip in the <libc> node as described in an earlier mailing list post. The lighttpd server runs perfectly under qemu! But when I burn the iso to a usb and attempt to boot from virtualbox and a variety of different hardware devices, it gets stuck at the original "Genode on sel4".....boot_ and I'm just left with a blinking cursor after boot. Am I missing something?

2 1

Install Genode OS Build
by Echedey López Romero 06 May '17

06 May '17

Hi. I would like to install my GenodeOS' Build. How could I make it? -- Regards, CitoplasmaX

1 0

XML editing for dynamic subsystems
by Emery Hemingway 06 May '17

06 May '17

Hello list, To continue last month's interactive GUI thread, I have a proposal for the interplay between GUIs and the subsystem manager. I too would like a new way of launching and managing subsystems, but I prefer not dedicate any on-screen area for persistent menus. I would also live without any buttons if I could. I did some prototyping and found that I gravitate towards short-lived terminal components for user interaction as opposed to long-lived components such as cli_monitor or launcher. Rather than rework what I had into something that can appear and disappear in its lifetime, I figured that XML editing via Report sessions can support ephemeral menus and would require no modification of existing components. I have a simple proof of concept that opens a file for writing and responds to Report requests to add or remove XML nodes from the file's top-level element. This combined with fs_rom is enought to dynamically add and remove subsystems from init. Its too rough to publish now but it never need be a complictated implementation. I mentioned this to Christian Helmuth off-list and he suggested that it would be a transactional editor, which makes perfect sense. The tree can contain inline edit annotations or the XML could be stored as different revision files with a symlink pointer to the current version. This would allow for configuration replay without a lot of overhead or specialized tooling. Does this seem like a reasonable style of init mangagment that we can all get along with, I missing something? cheers, Emery

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2017