users

users@lists.genode.org

1 participants
2310 discussions

Genode, TrustZone and Android on i.mx6
by Vincent Raes 08 Jan '16

08 Jan '16

Hello, I am currently working on a TrustZone demo using Genode in the Secure world and an Android OS in the Normal world on the SABRElite board. I've succesfully got the Genode 15.08 base-hw kernel working on the board but I am running in some issues with the Normal world. For this I am using an Android distribution customised for the SABRElite, provided by the SoC distributor. One major problem is that I'm unable to get any output from the Android OS when it is booted by Genode. When booting Android using u-boot, there is output as expected. This supports the idea that the used Device Tree Blob is correct. The command line options for the kernel are provided during its compilation. This seems to work since booting with u-boot gets output on the specified ports. When booting with Genode however, there is no output whatsoever. The location of the DTB in the memory is passed to the Normal world using the r2 register, which as far as I know is all that needs to be done. Any input on this would be much appreciated since you can probably imagine that debugging the Normal world kernel without output is a grueling task For now there exists a workaround for debugging using kernel output, thanks to the Secure world. The current debug procedure consists of entering the *smc *command in the code to check whether the Normal world reaches this portion of code. This has allowed me to get the kernel itself running but here I ran into another issue, being the L2 cache used in the SABRElite board. The Linux kernel tries to configure which can't really be done from the Normal world. It can however make calls to the Secure world to configure the restricted registers. Once the cache is actually enabled, Genode immediately stops though. I imagine this is caused by the fact that Genode does not expect the L2 cache to actually work. Are there any pointers to correctly configure the L2 cache in Genode to keep it executing after the cache's activation? Alternatively, is it possible to run Android without the L2 cache and how would one best go about achieving this? Best regards, Vincent

2 1

[Beginner] Running L4Linux as a Server above Fiasco.OC
by Nourhan Mohamed 07 Jan '16

07 Jan '16

Dear all, I was trying to run l4linux as a server above Fiasco.OC using the Features>Make Linux as Server from the l4linux menuconfig in foc_pbxa9 build folder. However, the compilation terminates with error because it can't see some header file. Any ideas what might have gone wrong BR, Nourhan

2 2

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

[Fiasco.OC][Genode] Creating an unstripped image file
by Nourhan Mohamed 17 Dec '15

17 Dec '15

Dear all, I was wondering if there was an option to create an unstripped image from my application over fiasco.oc kernel. I am starting to use Genode platform and was trying to follow the hello app tutorial defined in the Genode Operating System Framework 15.05 manual and trying to run it using Qemu but need to enable the debug symbols to be able to debug why the app doesn't load successfully on Qemu using gdb. Thanks, Nourhan

2 1

Upgrade to 15.11 from 15.02 results in quota exceded message
by Bob Stewart 12 Dec '15

12 Dec '15

Hi, 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" changes and gpio driver changes to accomodate the removal of the wait_for_irq method. immediately after init starts I get a "quota execeeded"mesage: Starting kernel ... kernel initialized Genode 15.11 <local changes> int main(): --- create local services --- int main(): --- start init --- int main(): transferred 501 MB to init int main(): --- init created, waiting for exit condition --- Quota exceeded! amount=12288, size=12288, consumed=12288 [init -> uart_drv] int main(int, char**): --- OMAP3 UART driver started --- [init -> ctrl_module] --- Beaglebone Control Module Server --- [init -> platform_drv] --- bbb platform driver running --- [init -> pwm_drv] --- am33xx pwm driver --- . , , No changes have been made to available ram constants in board_base so I'm confused as to what caused this message to be generated. Did I miss a change to how quota's are requested and managed? Any help would be greatly appreciated Bob

3 5

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users