users

users@lists.genode.org

2 participants
2342 discussions

running demo scenario over sel4
by Robert Behar 10 Mar '16

10 Mar '16

I'm interested in using genode over sel4 and have been having difficulties with building and running the demo scenario I am running ubuntu 15 over virtual box first I pulled the full main branch from the repository. I then compiled the tool chain for x86 by running ./tool/tool_chain x86 then i created a build directory like so ./tool/create_builddir sel4_x86_32 BUILD_DIR=build.sel4 so far success. then I wanted to prepare the ./repos/base-sel4 directory with a make -C ./repos/base-sel4 prepare but alas no Makefile was there! after digging a bit and reading through ./repos/base-nove/Makefile I decided to run ./tool/ports/prepare_port sel4 which worked. now with sel4 prepared i went back to trying to run make -C ./build.sel4 run/demo this failed it said it was missing a timer component! I suspect this has something to do with ./repos/os/src/drivers/timer/spec not having a folder for sel4. am I missing something?

3 2

Re: Mouse pointer speed
by Bent Bracke 09 Mar '16

09 Mar '16

Hi Sorry about the lack of details. It is possible that it's just too fast. I'm simply having difficulties clicking on anything because the mouse pointer moves around so quickly. I'm running genode with qemu on Ubuntu on macbookpro via parallels. It is a usb trackball which works fine on Ubuntu and OS X. Kind regards Bent Bracke > On 7. mar. 2016, at 17.14, Norman Feske <norman.feske@...1...> wrote: > > > Hello Bent, > >> In all the examples that come with Genode, the mouse pointer moves at >> what seems like an erratic speed. >> Is this a driver issue or something else? > > I am afraid that your question is too unspecific to give you a good > answer. Do you observe the erratic behavior on different machines and > with different mouses? Are you referring to a PS/2 mouse (with the PS/2 > driver) or a USB HID mouse (with the USB driver)? Or are you using a USB > mouse with the PS/2 driver? In the latter case, the BIOS provides some > rudimentary PS/2 emulation. It is really hard to diagnose the problem > remotely. > > That said, our PS/2 driver is indeed rather simple. It resets the mouse > but does not attempt to set any specific parameters with respect to > mouse speed or acceleration. You can have a look at > repos/os/src/drivers/input/ps2/ to investigate. > > If you observe the problem with the USB HID driver, this would surprise > me because we are actually using the Linux USB driver on Genode. So the > mouse should work just as well as on Linux. > > 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 > > ------------------------------------------------------------------------------ > Transform Data into Opportunity. > Accelerate data analysis in your applications with > Intel Data Analytics Acceleration Library. > Click to learn more. > http://makebettercode.com/inteldaal-eval > _______________________________________________ > genode-main mailing list > genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main

3 2

Mouse pointer speed
by Bent Bracke 07 Mar '16

07 Mar '16

Hi In all the examples that come with Genode, the mouse pointer moves at what seems like an erratic speed. Is this a driver issue or something else? -- Kind regards Bent Bracke

3 2

tz_vmm run script
by John David 07 Mar '16

07 Mar '16

Hi all, I am running tz_vmm run script on i.mx53qsb. I have LVDS display kit attached to the board. I want the Linux (non secure world) to be displayed on the LVDS while the Genode uses the serial console. I wonder if you could tell me how can i do this. Thanks!

3 10

build instructions from release notes for toolchain riscv fail (in my case)
by Menno Valkema 04 Mar '16

04 Mar '16

Hi Everyone, While playing around with the new riscv support, I followed the instructions in the release notes in order to build a riscv toolchain from scratch. (See section 'Steps to test Genode on RISC-V', url http://genode.org/documentation/release-notes/16.02). Step 2 involves Building Genode and a test scenario. After cloning https://github.com/ssumpf/genode.git I ran: $ ./tool/tool_chain riscv This fails immediately, and it seems the riscv argument is not supported in this version. The following error is given: make: *** No rule to make target `riscv'. Stop. When I try the same thing with the repository from the Genodelabs github (https://github.com/genodelabs/genode.git) this argument is supported and a build starts. Same goes for the next step: $ ./tool/create_builddir hw_risc This only succeeds with the repository from genodelabs. Otherwise it gives the error: make: *** No rule to make target `<removed full path>/tool/builddir/etc/build.conf.hw_risc', needed by `<removed> full path/build/hw_risc/etc/build.conf'. Stop. To me it seems some url's might have been mixed up while writing the release notes. Or after writing the releasenotes were published the repositories have somehow been modified. In any case, if you run into the same issues, you might want to clone https://github.com/genodelabs/genode.git instead of the git repo given in the release notes. Regards, Menno

3 3

Escape stack overflow in noux_bash
by Gregory Disney 02 Mar '16

02 Mar '16

Hey, This seems to be a escape stack overflow, which crashes the kernel. All that a user has to run cat tmp/bblub, which I believe is a link to /ram/tmp/bblub to cause the overflow. Log: including /home/gdl/genode/tool/run/boot_dir/nova including /home/gdl/genode/tool/run/power_on/qemu including /home/gdl/genode/tool/run/log/qemu including /home/gdl/genode/tool/run/image/iso including /home/gdl/genode/repos/ports/run/noux_bash.run building targets: core init drivers/timer noux/minimal lib/libc_noux drivers/framebuffer drivers/input server/terminal server/ram_fs test/libports/ncurses drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd spawn make core init drivers/timer noux/minimal lib/libc_noux drivers/framebuffer drivers/input server/terminal server/ram_fs test/libports/ncurses drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd make[1]: Entering directory '/home/gdl/genode/build.nova32' checking library dependencies... Skip target drivers/framebuffer/spec/exynos because it requires [00;33mexynos[0m Skip target drivers/framebuffer/spec/imx53 because it requires [00;33mimx53[0m Skip target drivers/framebuffer/spec/omap4 because it requires [00;33momap4[0m Skip target drivers/framebuffer/spec/pl11x/pbxa9 because it requires [00;33mpl11x pbxa9[0m Skip target drivers/framebuffer/spec/rpi because it requires [00;33mrpi[0m Skip target drivers/framebuffer/spec/sdl because it requires [00;33mlinux sdl[0m Skip target drivers/input/spec/imx53 because it requires [00;33mimx53[0m Skip target drivers/input/spec/ps2/pl050 because it requires [00;33mpl050[0m Skip target drivers/platform/spec/arndale because it requires [00;33marndale[0m Skip target drivers/platform/spec/imx53 because it requires [00;33mimx53[0m Skip target drivers/platform/spec/odroid_x2 because it requires [00;33modroid_x2[0m Skip target drivers/platform/spec/rpi because it requires [00;33mrpi[0m [00;33m Library [0mplatform [00;33m Library [0mcxx [00;33m Library [0msyscall [00;33m Library [0mstartup [00;33m Library [0mbase-common [00;33m Library [0mcore [01;33m Program [0mcore/core COMPILE version.o LINK core [00;33m Library [0mbase [01;33m Program [0mdrivers/acpi/spec/x86/acpi_drv [00;33m Library [0mintel_fb_include [00;33m Library [0mintel_fb_drv [00;33m Library [0mlibc-setjmp [00;33m Library [0mserver [00;33m Library [0mconfig [00;33m Library [0mblit [01;33m Program [0mdrivers/framebuffer/intel/intel_fb_drv [00;33m Library [0mx86emu [01;33m Program [0mdrivers/framebuffer/vesa/fb_drv [01;33m Program [0mdrivers/input/dummy/dummy_input_drv [01;33m Program [0mdrivers/input/spec/ps2/x86/ps2_drv [01;33m Program [0mdrivers/platform/spec/x86/device_pd/device_pd [01;33m Program [0mdrivers/platform/spec/x86/platform_drv [01;33m Program [0mdrivers/rtc/spec/x86/rtc_drv [00;33m Library [0malarm [00;33m Library [0mtimer [01;33m Program [0mdrivers/timer/timer [00;33m Library [0minit_pd_args [01;33m Program [0minit/init [00;33m Library [0mlibc-string [00;33m Library [0mlibc-locale [00;33m Library [0mlibc-stdlib [00;33m Library [0mlibc-stdio [00;33m Library [0mlibc-gen [00;33m Library [0mlibc-gdtoa [00;33m Library [0mlibc-inet [00;33m Library [0mlibc-stdtime [00;33m Library [0mlibc-regex [00;33m Library [0mlibc-compat [00;33m Library [0mtimed_semaphore [00;33m Library [0mldso-startup [00;33m Library [0mld [00;33m Library [0mvfs [00;33m Library [0mlibc [00;33m Library [0mlibc_noux [01;33m Program [0mlib/libc_noux/libc_noux [01;33m Program [0mnoux/minimal/noux [01;33m Program [0mserver/ram_fs/ram_fs [01;33m Program [0mserver/report_rom/report_rom [01;33m Program [0mserver/terminal/terminal [00;33m Library [0mncurses [01;33m Program [0mtest/libports/ncurses/test-ncurses make[1]: Leaving directory '/home/gdl/genode/build.nova32' genode build completed building targets: kernel spawn make kernel make[1]: Entering directory '/home/gdl/genode/build.nova32' checking library dependencies... [01;33m Program [0mkernel/hypervisor make[1]: Leaving directory '/home/gdl/genode/build.nova32' genode build completed using NOVA kernel at /home/gdl/genode/build.nova32/kernel/hypervisor install bootloader creating ISO image... spawn qemu-system-x86_64 -no-kvm -cpu core2duo -serial mon:stdio -cdrom var/run/noux_bash.iso Bender: Hello World. Need 0275d000 bytes to relocate modules. Relocating to 05883000: Copying 358824 bytes... Copying 423916 bytes... Copying 341432 bytes... Copying 489700 bytes... Copying 599440 bytes... Copying 435020 bytes... Copying 415620 bytes... Copying 19947520 bytes... Copying 9267200 bytes... Copying 3553280 bytes... Copying 293864 bytes... Copying 93584 bytes... Copying 157940 bytes... Copying 1039868 bytes... Copying 423236 bytes... Copying 494852 bytes... Copying 423300 bytes... Copying 624504 bytes... Copying 401468 bytes... Copying 416192 bytes... Copying 4299 bytes... Copying 910712 bytes... Copying 110084 bytes... NOVA Microhypervisor v7-c852537 (x86_32): Feb 28 2016 22:48:23 [gcc 4.9.2] [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor reports 1x1 CPU - boot CPU is 0 [34mCPU has no invariant TSC.[0m Hypervisor info page contains 29 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9fc00 use physical memory: 0x0000000000000000 - size: 0x9f000 detected physical memory: 0x0000000000100000 - size: 0x7ee0000 use physical memory: 0x0000000000100000 - size: 0x7ee0000 map multi-boot module: physical 0x0589e000+0x000de578 - core map multi-boot module: physical 0x0597d000+0x000010cb - config map multi-boot module: physical 0x0597f000+0x000659c0 - init map multi-boot module: physical 0x059e5000+0x0006203c - timer map multi-boot module: physical 0x05a48000+0x00098778 - ld.lib.so map multi-boot module: physical 0x05ae1000+0x00067584 - noux map multi-boot module: physical 0x05b49000+0x00078d04 - terminal map multi-boot module: physical 0x05bc2000+0x00067544 - ram_fs map multi-boot module: physical 0x05c2a000+0x000fddfc - libc.lib.so map multi-boot module: physical 0x05d28000+0x000268f4 - libm.lib.so map multi-boot module: physical 0x05d4f000+0x00016d90 - libc_noux.lib.so map multi-boot module: physical 0x05d66000+0x00047be8 - ncurses.lib.so map multi-boot module: physical 0x05dae000+0x00363800 - bash.tar map multi-boot module: physical 0x06112000+0x008d6800 - coreutils.tar map multi-boot module: physical 0x069e9000+0x01306000 - vim.tar map multi-boot module: physical 0x07cf0000+0x00065784 - rtc_drv map multi-boot module: physical 0x07d56000+0x0006a34c - ps2_drv map multi-boot module: physical 0x07dc1000+0x00092590 - fb_drv map multi-boot module: physical 0x07e54000+0x000778e4 - platform_drv map multi-boot module: physical 0x07ecc000+0x000535b8 - acpi_drv map multi-boot module: physical 0x07f20000+0x000677ec - report_rom map multi-boot module: physical 0x07f88000+0x000579a8 - device_pd :virt_alloc: Allocator 18f91c dump: Block: [00002000,00069000) size=00067000 avail=00067000 max_avail=00067000 Block: [00069000,0006a000) size=00001000 avail=00000000 max_avail=00067000 Block: [0006a000,0007c000) size=00012000 avail=00012000 max_avail=00067000 Block: [0007c000,0007d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007d000,0007e000) size=00001000 avail=00000000 max_avail=00067000 Block: [0007e000,0007f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0007f000,00080000) size=00001000 avail=00000000 max_avail=00000000 Block: [00080000,00081000) size=00001000 avail=00000000 max_avail=00000000 Block: [00081000,00082000) size=00001000 avail=00000000 max_avail=00000000 Block: [00082000,00083000) size=00001000 avail=00000000 max_avail=00000000 Block: [00083000,00084000) size=00001000 avail=00000000 max_avail=00067000 Block: [00084000,00086000) size=00002000 avail=00000000 max_avail=00000000 Block: [00086000,00087000) size=00001000 avail=00000000 max_avail=00000000 Block: [00087000,00088000) size=00001000 avail=00000000 max_avail=00000000 Block: [00088000,00089000) size=00001000 avail=00000000 max_avail=00000000 Block: [00089000,0008a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008a000,0008b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008b000,0008c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008c000,0008d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008d000,0008e000) size=00001000 avail=00000000 max_avail=00067000 Block: [0008e000,0008f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0008f000,00090000) size=00001000 avail=00000000 max_avail=00000000 Block: [00090000,00091000) size=00001000 avail=00000000 max_avail=00007000 Block: [00091000,00092000) size=00001000 avail=00000000 max_avail=00000000 Block: [00092000,00093000) size=00001000 avail=00000000 max_avail=00000000 Block: [00093000,00094000) size=00001000 avail=00000000 max_avail=00007000 Block: [00094000,00095000) size=00001000 avail=00000000 max_avail=00000000 Block: [00095000,0009c000) size=00007000 avail=00007000 max_avail=00007000 Block: [0009c000,0009d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009d000,0009e000) size=00001000 avail=00000000 max_avail=00007000 Block: [0009e000,0009f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0009f000,000a0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a0000,000a1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a1000,000a2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000a2000,000a3000) size=00001000 avail=00000000 max_avail=9fd40000 Block: [000a3000,000bb000) size=00018000 avail=00018000 max_avail=00018000 Block: [000bb000,000bc000) size=00001000 avail=00000000 max_avail=00018000 Block: [000bc000,000bd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000bd000,000cb000) size=0000e000 avail=0000e000 max_avail=0000e000 Block: [000cb000,000cc000) size=00001000 avail=00000000 max_avail=00033000 Block: [000cc000,000cd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000cd000,00100000) size=00033000 avail=00033000 max_avail=00033000 Block: [001de000,001df000) size=00001000 avail=00000000 max_avail=00000000 Block: [001df000,001e0000) size=00001000 avail=00000000 max_avail=00033000 Block: [001e0000,001e1000) size=00001000 avail=00000000 max_avail=00000000 Block: [001e1000,001e2000) size=00001000 avail=00000000 max_avail=00000000 Block: [001e2000,001e3000) size=00001000 avail=00000000 max_avail=9fd40000 Block: [001e3000,001e4000) size=00001000 avail=00000000 max_avail=00000000 Block: [001e4000,00246000) size=00062000 avail=00062000 max_avail=00062000 Block: [00246000,00247000) size=00001000 avail=00000000 max_avail=00077000 Block: [00247000,002be000) size=00077000 avail=00077000 max_avail=00077000 Block: [002be000,002bf000) size=00001000 avail=00000000 max_avail=9fd40000 Block: [002bf000,002c0000) size=00001000 avail=00000000 max_avail=00000000 Block: [002c0000,a0000000) size=9fd40000 avail=9fd40000 max_avail=9fd40000 Block: [b0000000,bfeff000) size=0feff000 avail=0feff000 max_avail=0feff000 Block: [bff04000,bfffd000) size=000f9000 avail=000f9000 max_avail=000f9000 => mem_size=2951839744 (2815 MB) / mem_avail=2951651328 (2814 MB) :phys_alloc: Allocator 18e8b8 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=00000000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000 Block: [00006000,00007000) size=00001000 avail=00000000 max_avail=00000000 Block: [00007000,00008000) size=00001000 avail=00000000 max_avail=00000000 Block: [00008000,00009000) size=00001000 avail=00000000 max_avail=00000000 Block: [00009000,0000a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000a000,0000b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000b000,0000c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000c000,0000d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000d000,0000e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000e000,0000f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000f000,00010000) size=00001000 avail=00000000 max_avail=00000000 Block: [00010000,00011000) size=00001000 avail=00000000 max_avail=00000000 Block: [00011000,00012000) size=00001000 avail=00000000 max_avail=00000000 Block: [00012000,00013000) size=00001000 avail=00000000 max_avail=00000000 Block: [00013000,00014000) size=00001000 avail=00000000 max_avail=00000000 Block: [00014000,00015000) size=00001000 avail=00000000 max_avail=00000000 Block: [00015000,00016000) size=00001000 avail=00000000 max_avail=00000000 Block: [00016000,00017000) size=00001000 avail=00000000 max_avail=00000000 Block: [00017000,00018000) size=00001000 avail=00000000 max_avail=00000000 Block: [00018000,00019000) size=00001000 avail=00000000 max_avail=0309e000 Block: [00019000,0001a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001a000,0001b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001b000,0001c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001c000,0001d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001d000,0001e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001e000,0001f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001f000,00020000) size=00001000 avail=00000000 max_avail=00000000 Block: [00020000,00021000) size=00001000 avail=00000000 max_avail=00000000 Block: [00021000,00022000) size=00001000 avail=00000000 max_avail=00000000 Block: [00022000,00023000) size=00001000 avail=00000000 max_avail=00000000 Block: [00023000,00024000) size=00001000 avail=00000000 max_avail=00000000 Block: [00024000,00025000) size=00001000 avail=00000000 max_avail=0309e000 Block: [00025000,00026000) size=00001000 avail=00000000 max_avail=00000000 Block: [00026000,00027000) size=00001000 avail=00000000 max_avail=00000000 Block: [00027000,00028000) size=00001000 avail=00000000 max_avail=00000000 Block: [00028000,00029000) size=00001000 avail=00000000 max_avail=00000000 Block: [00029000,0002a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002a000,0002b000) size=00001000 avail=00000000 max_avail=0309e000 Block: [0002b000,0002c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002c000,0009f000) size=00073000 avail=00073000 max_avail=00073000 Block: [00100000,00101000) size=00001000 avail=00000000 max_avail=0309e000 Block: [00101000,00102000) size=00001000 avail=00000000 max_avail=00000000 Block: [00102000,00400000) size=002fe000 avail=002fe000 max_avail=0309e000 Block: [02800000,0589e000) size=0309e000 avail=0309e000 max_avail=0309e000 => mem_size=54771712 (52 MB) / mem_avail=54587392 (52 MB) :io_mem_alloc: Allocator 19098c dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009f000,00100000) size=00061000 avail=00061000 max_avail=f801f000 Block: [07fe0000,fffff000) size=f801f000 avail=f801f000 max_avail=f801f000 => mem_size=4161277952 (3968 MB) / mem_avail=4161277952 (3968 MB) [32mGenode 15.11-141-g2936cbe <local changes>[0m int main(): [33m--- create local services ---[0m int main(): [33m--- start init ---[0m int main(): [33mtransferred 51 MB to init[0m [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "CAP" [init] service "RAM" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 876544 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "rtc_drv" [init] RAM quota: 876544 [init] ELF binary: rtc_drv [init] priority: 0 [init] provides service Rtc [init] child "acpi_drv" [init] RAM quota: 1925120 [init] ELF binary: acpi_drv [init] priority: 0 [34mQuota exceeded! amount=24576, size=4096, consumed=24576[0m [init] [32mupgrading quota donation for Env::CPU (8192 bytes)[0m [init] child "acpi_report_rom" [init] RAM quota: 1925120 [init] ELF binary: report_rom [init] priority: 0 [init] provides service ROM [init] provides service Report [init] child "platform_drv" [init] RAM quota: 4022272 [init] ELF binary: platform_drv [init] priority: 0 [init] provides service Platform [34mQuota exceeded! amount=32768, size=4096, consumed=32768[0m [init] [32mupgrading quota donation for Env::CPU (8192 bytes)[0m [init] child "fb_drv" [init] RAM quota: 4022272 [init] ELF binary: fb_drv [init] priority: 0 [init] provides service Framebuffer [init] child "ps2_drv" [init] RAM quota: 876544 [init] ELF binary: ps2_drv [init] priority: 0 [init] provides service Input [34mQuota exceeded! amount=40960, size=4096, consumed=40960[0m [init] [32mupgrading quota donation for Env::CPU (8192 bytes)[0m [init] child "terminal" [init] RAM quota: 1925120 [init] ELF binary: terminal [init] priority: 0 [init] provides service Terminal [init] child "ram_fs" [init] RAM quota: 10313728 [init] ELF binary: ram_fs [init] priority: 0 [init] provides service File_system [init] Warning: Specified quota exceeds available quota. [init] Proceeding with a quota of 24858624. [34mQuota exceeded! amount=49152, size=4096, consumed=49152[0m [init] [32mupgrading quota donation for Env::CPU (8192 bytes)[0m [init] child "noux" [init] RAM quota: 24686592 [init] ELF binary: noux [init] priority: 0 [init] child "timer" announces service "Timer" [init -> terminal] int main(int, char**): [33m--- terminal service started ---[0m [init] child "acpi_report_rom" announces service "Report" [init] child "acpi_report_rom" announces service "ROM" [init -> platform_drv] platform driver started [init -> acpi_report_rom] [34mparsing legacy <rom> policies[0m [init -> noux] [32m--- noux started ---[0m [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: [33mFound MADT[0m [init -> acpi_drv] [32mMADT IRQ 0 -> GSI 2 flags: 0[0m [init -> acpi_drv] [32mMADT IRQ 5 -> GSI 5 flags: d[0m [init -> acpi_drv] [32mMADT IRQ 9 -> GSI 9 flags: d[0m [init -> acpi_drv] [32mMADT IRQ 10 -> GSI 10 flags: d[0m [init -> acpi_drv] [32mMADT IRQ 11 -> GSI 11 flags: d[0m [init] child "ram_fs" announces service "File_system" [init -> noux] [32mtar archive 'coreutils.tar' local at 100000, size is 9269248[0m [init -> noux] [32mtar archive 'vim.tar' local at b0000000, size is 19947520[0m [init] child "rtc_drv" announces service "Rtc" [init] child "platform_drv" announces service "Platform" [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [33mfb mapped to 1000[0m [init] child "fb_drv" announces service "Framebuffer" [init -> fb_drv] [31mCould not open ROM session for module "config"[0m [init -> fb_drv] [31mCould not obtain config file[0m [init -> ps2_drv] [31mCould not open ROM session for module "config"[0m [init -> ps2_drv] [31mCould not obtain config file[0m [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> platform_drv] [32mPS2 uses IRQ, vector 0x1[0m [init -> noux] [32mtar archive 'bash.tar' local at a00000, size is 3555328[0m [init -> platform_drv] [32mPS2 uses IRQ, vector 0xc[0m [init] child "ps2_drv" announces service "Input" [init -> noux] [34mstdin VFS path not defined, connecting to Terminal session[0m [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: SeaBIOS VBE(C) 2011 [init -> fb_drv] Found: physical frame buffer at 0xfd000000 size: 0x01000000 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [33mfb mapped to b0000000[0m [init -> fb_drv] Using video mode: 2560 x 1600 x 16 [init -> terminal] cell size is 6x14 [init] child "terminal" announces service "Terminal" [init -> terminal] create terminal session [init -> terminal] new terminal session: [init -> terminal] framebuffer has 2560x1600 pixels [init -> terminal] character size is 6x14 pixels [init -> terminal] terminal size is 426x114 characters [init -> noux] [34mstdout VFS path not defined, connecting to Terminal session[0m [init -> noux] [34mstderr VFS path not defined, connecting to Terminal session[0m int main(): [33m--- init created, waiting for exit condition ---[0m [34mQuota exceeded! amount=24576, size=4096, consumed=24576[0m [init -> noux] [32mupgrading quota donation for Env::CPU (8192 bytes)[0m [init -> terminal] Error: escape stack overflow [init -> terminal] --- escape stack follows --- [init -> terminal] CODE 141 (0x8d '') [init -> terminal] CODE 78 (0x4e 'N') [init -> terminal] CODE 1 (0x1 '') [init -> terminal] CODE 141 (0x8d '') [init -> terminal] CODE 92 (0x5c '\') [init -> terminal] CODE 30 (0x1e '') [init -> terminal] CODE 255 (0xff 'ÿ') [init -> terminal] CODE 141 (0x8d '') [init -> terminal] CODE 116 (0x74 't') [init -> terminal] CODE 38 (0x26 '&') [init -> terminal] CODE 0 (0x0 ' [init -> terminal] CODE 64 (0x40 '@') [init -> terminal] NUMBER 9 (0x9 ' ') [init -> terminal] CODE 217 (0xd9 'Makefile:246: recipe for target 'run/noux_bash' failed

2 1

Shared library in Genode must be position-independent?
by Vincent Stone 29 Feb '16

29 Feb '16

Hi all: I am using Genode to do some SSL encryption stuff. My dev-board is i.MX6Quad running Genode 15.02. The OpenSSL version is 1.0.1i. I test the Crypto speed of OpenSSL in Genode. It's very slow( 7MB/s for aes-128-gcm) comparing to OpenSSL in Linux (16MB/s for aes-128-gcm). Genode's OpenSSL doesn't use the assembly code version of some critical crypto function. It disable this option in libcrypto.mk. If I do the same to Linux OpenSSL, the performance goes down to 9MB/s. So I enable this option in libcrypto.mk. use Genode compiler to compile it. Everything seems ok. No compiler/linker errors. But the program can not run. MMU exception occurs before the main program start. It seems that something goes wrong during the library loading. I am really confused. Why does Genode disable this assembly code option? ( I can only find a 1-sentence explaination on Genode release notes 12.08 <http://genode.org/documentation/release-notes/12.08> Because libcrypto provides certain optimized assembler functions, which > unfortunately are not expressed with position-independent code, we removed > this assembler code and build libcrypto with -DOPENSSL_NO_ASM I guess the loader of Genode can not handle load-time relocation for shared library so all shared library must be position independent. Am I right? Thank you. -- Best wishes Vincent

3 3

SandStorm.io on Genode ?
by Peter Lindener 28 Feb '16

28 Feb '16

Dear Kenton (Varda <https://github.com/kentonv> founder of SandStorm.io <https://sandstorm.io/>, Norman (Feske <https://github.com/nfeske>founder of genode-labs.com <http://genode.org/> and Fellow Genodians... Given Kenton's concern for security in SandStorm.io <https://sandstorm.io/>.. and that it's unlikely that Linux, with it's humongous monolithic kernel, will ever deliver anything that resembles real security.. .. so I'm wondering if it might be a good match to look at running SandStorm.io <https://sandstorm.io/> severs within the Genode OS <http://genode.org/> ? To further fill out a possible vision: I just ordered a couple of Pine_64, Quadcore ARM64 boards <https://www.pine64.com/> (with 2GB of ram).. I am currently bringing up the code for Social Decision System kernel based upon the Groves-Clarke Mechanism <http://www.econ.ucsb.edu/~tedb/Courses/UCSBpf/pflectures/groves.pdf>, which is essentially the ideal when it comes to Strategic Voting Game Theoretic Mechanism Design <http://www.eecs.harvard.edu/~parkes/pubs/ch2.pdf>.. while the Python / C++11 code is still in an embryonic state... the underlying theory for how this Game Theoretic solver would operate is fairly far along.. The plan is to open source this solver code, once it passes a full set of included cross validation unit tests. I have been looking at how this Groves-Clarke Mechanism <http://www.econ.ucsb.edu/~tedb/Courses/UCSBpf/pflectures/groves.pdf> solver can be deployed across a network, to permit this algorithm to scale up to tackle larger problems in Information / Game Social Choice <https://en.wikipedia.org/wiki/Social_choice_theory> theory. (i.e, the longer term direction of our democracy)... I was encouraged to find Kenton's 2nd generation work Cap'n-proto <https://capnproto.org/> which I gather provides some of SandStorm.io <https://sandstorm.io/>'s core network functionality... a clear advance in the state of networked system affairs... I also have taken notice of Genode's Server framework <http://genode.org/documentation/api/base_index#Inter-process_communication>.. and I would like to leverage the advanced perspectives of both, as I construct the network services layer that will underlie this computer assisted support of a truly democratic Social Decision system. my wish list is as follows: 1. Genode might somday run on ARMv8 (64bit)... It would be great if the Pine_64 would eventualy run Genode right out of the box.. 2.Cap'n-proto <https://capnproto.org/> might be supported within the Genode ecosystem... and that a collaboration between Kenton and Norman... might end up yielding the nicest Client / Server framework / protocol stack the world might have the privilege to enjoy. 3. That people with significant technical vision and influence, will see the ultimate level of creativity that will be leveraged if SandStorm.io <https://sandstorm.io/> and genode-labs.com <http://genode.org/> would be provided with real financial support for striving towards the inter-operation of these significant advancements of a better foundation for network based computation. 4. That SandStorm.io <https://sandstorm.io/>'s open source code <https://github.com/sandstorm-io/sandstorm> might also run eventually on the Pine_64 <https://www.pine64.com/>, within Genode OS <http://genode.org/>, such that the Trusted Computing Base <https://en.wikipedia.org/wiki/Trusted_computing_base> of SandStorm <https://sandstorm.io/>'s personal sever system would be further reduced.. 5.. That the release of an open source network based (Information/Game Theoretic) Social Decision system kernel, will inspire many to dream about the very bright future that our truly democratic society will begin to explore. I thus close, requesting that many may choose to support the vision that is already well underway in the implementations of both SandStorm <https://sandstorm.io/> the Genode OS <http://genode.org/>,.. and that such a collaboration will yield a close to ideal foundation upon which this advanced, Information/Game Theoretic Social Design systems might then flourish.. With the greatest of respect for those who would help pull these pieces together. your's Sincerely Peter (SaxMan) Lindener. -----------

3 4

porting library to genode
by mark ll 26 Feb '16

26 Feb '16

hi, I am trying to port a library to genode. after execute ./configuration I got config.h file which i copied it to libports/src/lib/mylib/my problem that in the make file of the library they generated file using bison. the only library use some thing similar is libc so i tried to do same but i could not generate the required file here the part of code in my library.port file. generated_file += src/lib/mylib/f.c src/lib/mylib/f.c : bison -y -d -p src/lib/mylib/f2.y -o src/lib/mylib/f.c best,

1 0

Announcement: Genode OS Framework version 16.02 released
by Norman Feske 26 Feb '16

26 Feb '16

I am happy to announce the release of Genode 16.02. The highlights of the new version are the addition of RISC-V architecture support, the ability to securely assign USB devices to VirtualBox instances, and the update of the Muen separation kernel and the seL4 microkernel. The summary of the changes is as follows: - Assignment of USB devices to virtual machines - New support for the RISC-V CPU architecture - GUI stack usability improvements - Device drivers - Reconfigurable USB host-controller driver - Custom USB mass-storage driver - Improved audio output on Linux - Libraries and applications - New "Genode world" repository for 3rd-party software - Updated lynx, OpenSSH, tar, libssh, lighttpd - Platforms - Enhanced SMP and cache support for base-hw - Muen SK version 0.7 with MSI support - seL4 version 2.1 The complete story about these and many more improvements is covered by the release documentation: http://genode.org/documentation/release-notes/16.02 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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users