users February 2012

users@lists.genode.org

15 participants
13 discussions

Further questions
by Peter Nguyen 30 Mar '12

30 Mar '12

Hi, Thanks you very much for that. I now have it running. I have another question about Genode. More specifically, I was wondering whether any of the Iguana services at all. I ask this given that the weaver.xml file refers to memsections and pds (i'm assuming that means protection domains). Peter ----- Forwarded message from Norman Feske <norman.feske@...1...> ----- Date: Tue, 05 Jan 2010 08:43:36 +0100 From: Norman Feske <norman.feske@...1...> Reply-To: Genode OS Framework Mailing List <genode-main(a)lists.sourceforge.net> Subject: Re: Broken assertion To: Genode OS Framework Mailing List <genode-main(a)lists.sourceforge.net> Hi Peter, this is a different error as the one mentioned in the Wiki. It actually tells you what's wrong. ;-) In the 'weaver.xml' file, there is a memsection referring to a file called 'config'. This is the configuration file of Genode's init process. You can use a copy of the template provided at 'os/config/demo'. You can either specify this file as filename for the 'config' module entry in 'weaver.xml' or copy it to your '<builddir>/bin/' directory (and of course rename it to 'config'). This bit was missing in the Wiki. So I added it to the Wiki page. Thank you for pointing it out. Norman Peter Nguyen wrote: > Hi, > > In the wiki describing how to build Genode on OKL4, does the bug alert refer to > following message: An error occurred: [Errno 2] No such file or directory: > 'config'? > > I've followed the build instructions, and i've changed the value as suggested as > the quick fix, but I still get this error. > > As usual, any help would be greatly appreciated. > > Peter ------------------------------------------------------------------------------ This SF.Net email is sponsored by the Verizon Developer Community Take advantage of Verizon's best-in-class app development support A streamlined, 14 day to market process makes app distribution fast and easy Join now and get one step closer to millions of Verizon customers http://p.sf.net/sfu/verizon-dev2dev _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main ----- End forwarded message -----

3 4

Building Genode for Gumstix Overo platform
by Ivan Loskutov 12 Mar '12

12 Mar '12

*Hello Genodians! I tried to build Genode for Gumstix Overo platform. I added new build target foc_overo and implemented framebuffer and touchscreen drivers. I added my changes to my fork on Github https://github.com/iloskutov/genode First question about core. Core for Fiasco.OC used LD_TEXT_ADDR = 0x140000 in base-foc/src/core/target.inc. In Overo memory locations starting at 0x80000000. I think, I need to set LD_TEXT_ADDR = 0x80140000. I added it to base-foc/src/core/arm/target.inc but it applied for all ARM targets. How can I set it for my Overo target only? In our project we use Chestnut43 board for prototype. This board has 4.3” LCD 480x272 pixels. I get display configuration for this LCD from Linux driver. Display work, picture is drawing, colors are correct. But sometimes window drawn with distortion (normal drawing http://dl.dropbox.com/u/8558928/pic_1.jpg , distorted: http://dl.dropbox.com/u/8558928/pic_2.jpg http://dl.dropbox.com/u/8558928/pic_3.jpg ). I can’t solve this yet. Maybe I have wrong configuration for display controller. Touchscreen based on ADS7846 chip. I wrote simple driver. How can I do calibration implementation? I see several solutions: 1. Create new input event for touchscreen. Then driver can to send raw data to Nitpicker. Nitpicker translate this data to screen coordinates use calibration constants which must be loaded from some application. 2. Calibration data must be loaded to the touchscreen driver. But how make it correct? Maybe you can to offer best solution? Drivers implementation are simple. I don’t write drivers for GPIO and McSPI as independent part yet. For test platform I wrote simple Qt application. I don’t understand how to work resolution dependency. Where need I write all dependencies for automatic build my target. I used qt4/run/qt4.run as base for my run target. Execution “make run/qt_test” failed with error “cannot stat `bin/ dejavusans.lib.so'”. Not all libraries was built. If I execute “make run/qt4” previously then my qt_test built without error.*

6 14

Google Summer of Code 2012
by Norman Feske 03 Mar '12

03 Mar '12

Hello all, I would like to bring up the discussion of whether our project should apply for GSoC this year. Jakub Jermar (HelenOS) encouraged me to do so and I like this idea. The application of mentoring organizations is open until 9th of March: http://google-opensource.blogspot.com/2012/02/mentoring-organization-applic… I propose to select 5 working topics as potential GSoC projects, taking our "challenges" and "roadmap" as inspiration: http://genode.org/about/challenges http://genode.org/about/road-map Of course, we are open to further suggestions. If you have one, please go ahead and tell us! For each of the topics, we will need to provide a rationale about * Why do we think it is a good idea to pursue the work, * Where it fits into the scope of our project, and * Why we think it is feasible to achieve the goal during the summer. Furthermore, we should try to plan ahead working steps as far as we see them. For doing this, the GitHub issue tracker would be the ideal place. One particular topic that Jakub brought up is combining Genode with the HelenOS kernel (called SPARTAN). Personally, I think this would be a technically intriguing topic and also a good opportunity to cultivate the relationship between the HelenOS team and Genode. So what do you think? Do you agree that GSoC participation is a good idea? Are you interested in playing a role in it, as mentor, or student participant? I would be glad about feedback from you. 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

6 16

Genode OS Framework
by spicykappella Gmail 29 Feb '12

29 Feb '12

*"I am happy to announce the version 12.02 of the Genode OS Framework. This release is something special because it represents the first version conducted with our new open development process."* _/Congrats .. Great work Kudos :) Any ideas when the updates to the live images will be available?? (easier to test :P)/_ But you guys missed somethings(also on Road-map) which are very essential & a necessity & need to be addressed Bluetooth support Still no modem manager & mobile-broadband info cannot connect to net with modem or cell phone cannot update packages or surf or report bugs Out of the box support is a must for modems everyone doesn't use broadband/wifi *please implement them please be kind :) * _*regards*_

2 1

How to run Bash on QEMU ARM
by 정복득 29 Feb '12

29 Feb '12

Hi, It seems that Bash in the latest release and Noux are only for x86, but I want to run them on QEMU ARM(pbxa9). So, I modified ports/mk/noux.mk, ports/run/noux.run and ports/run/noux_bash.run as below. ports/mk/noux.mk commented out #43: #REQUIRES += x86 ports/run/noux.run, noux_bash.run commented out first four lines which inquire if the target system is x86_32. Then, I've managed to run Bash, but wasn't able to execute any bash command successfully. I can see my keyboard inputs on the bash console, but the enter key doesn't work. It just shows an error, "unsupported ioctl (request=0x802c7415 " Could you tell me what's wrong? Also, where to put my own program to execute through the bash? Plus, what's required to run bash_vim on QEMU ARM? Thanks. Here's what's displayed on terminal when I executed 'make run/noux_bash'. ---------------------------------------------------------------- [omitted first few lines..] checking library dependencies for lib/libc_noux... checking library dependencies for drivers/framebuffer... Skip target drivers/framebuffer/fiasco_ux because it requires fiasco x86 Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/framebuffer/vesa because it requires vesa Skip target drivers/framebuffer/pl11x/vpb926 because it requires platform_vpb926 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires platform_vea9x4 checking library dependencies for drivers/pci... Skip target drivers/pci/x86 because it requires x86 checking library dependencies for drivers/input... Skip target drivers/input/fiasco_ux because it requires fiasco x86 Skip target drivers/input/ps2/x86 because it requires x86 checking library dependencies for server/terminal... checking library dependencies for noux-pkg/bash... checking library dependencies for noux-pkg/coreutils... checking library dependencies for test/libports/ncurses... Library platform Library slab Library syscalls Library console Library avl_tree Library thread Library elf Library lock Library libc-locale Library libc-stdlib Library libc-string Library libc-inet Library libc-gdtoa Library libc-stdtime Library libc-regex Library libc-stdio Library libc-compat Library ldso-startup Library ldso_crt0 Library alarm Library raw_signal Library pager Library raw_server Library libc-gen Library log_console Library ipc Library allocator_avl Library server Library signal Library process Library ldso-arch Library timed_semaphore Library cxx Library heap Library core_printf Library startup Program drivers/framebuffer/pl11x/ Library env Program init/init Program noux/noux Program drivers/timer/foc/timer Program drivers/framebuffer/pl11x/pbxa9/pl11x_drv Library ld Program drivers/input/ps2/pl050/ps2_drv Program server/terminal/terminal Program drivers/input/dummy/dummy_input_drv Program core/arm/core Library libc Library libc_noux Program lib/libc_noux/libc_noux Library libm Library ncurses Program noux-pkg/coreutils/coreutils Program noux-pkg/bash/bash Program test/libports/ncurses/test-ncurses make[1]: Leaving directory `/home/me/genode-12.02/build.foc' genode build completed building targets: kernel sigma0 bootstrap spawn make kernel sigma0 bootstrap make[1]: Entering directory `/home/me/genode-12.02/build.foc' checking library dependencies for kernel... Skip target kernel/vea9x4 because it requires platform_vea9x4 Skip target kernel/x86_32 because it requires x86 Skip target kernel/x86_64 because it requires x86 64bit checking library dependencies for sigma0... checking library dependencies for bootstrap... Library platform Program kernel/pbxa9/fiasco.oc Library l4re_support Program bootstrap/bootstrap Program sigma0/l4f/sigma0 make srcdir=/home/me/genode-12.02/base-foc/contrib/kernel/fiasco/src objbase=/home/me/genode-12.02/build.foc/kernel/fiasco.oc -f /home/me/genode-12.02/base-foc/contrib/kernel/fiasco/src/Makefile.sub1 Checking compiler config... unchanged. make srcdir=/home/me/genode-12.02/base-foc/contrib/kernel/fiasco/src objbase=/home/me/genode-12.02/build.foc/kernel/fiasco.oc -f /home/me/genode-12.02/base-foc/contrib/kernel/fiasco/src/Makefile.sub2 all ... Generating version information ... Making kip.o ... Making kip-debug.o ... Making kip-arm.o ==> Archiving into libabi.a make[6]: Nothing to be done for `all'. ==> Linking fiasco.image ==> Linking fiasco chmod 755 fiasco /usr/local/genode-gcc/bin/genode-arm-nm fiasco.image | c++filt | sort > Symbols.new mv Symbols.new Symbols chmod 755 Symbols --> Build-Nr: 18 make[1]: Leaving directory `/home/me/genode-12.02/build.foc' genode build completed spawn sh -c cd /home/me/genode-12.02/build.foc/l4/source/pkg/bootstrap/server/src && make O=/home/me/genode-12.02/build.foc/l4 ENTRY=genode BOOTSTRAP_DO_UIMAGE= BOOTSTRAP_DO_RAW_IMAGE= BOOTSTRAP_MODULES_LIST=/home/me/genode-12.02/build.foc/var/run/noux_bash/modules.list BOOTSTRAP_SEARCH_PATH=/home/me/genode-12.02/build.foc/var/run/noux_bash:/home/me/genode-12.02/build.foc/kernel/fiasco.oc:/home/me/genode-12.02/build.foc/l4 SYSTEM_TARGET=/usr/local/genode-gcc/bin/genode-arm- make[1]: Entering directory `/home/me/genode-12.02/base-foc/contrib/l4/pkg/bootstrap/server/src' Building entry "genode". Merging image /home/me/genode-12.02/build.foc/kernel/fiasco.oc/fiasco to mod00 Merging image /home/me/genode-12.02/build.foc/l4/bin/arm_armv7a/l4f/sigma0 to mod01 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/core to mod02 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/config to mod03 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/init to mod04 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/timer to mod05 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/ld.lib.so to mod06 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/noux to mod07 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/terminal to mod08 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/libc.lib.so to mod09 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/libm.lib.so to mod10 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/libc_noux.lib.so to mod11 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/ncurses.lib.so to mod12 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/bash.tar to mod13 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/ps2_drv to mod14 Merging image /home/me/genode-12.02/build.foc/var/run/noux_bash/genode/pl11x_drv to mod15 make[2]: Entering directory `/home/me/genode-12.02/build.foc/l4/pkg/bootstrap/server/src/OBJ-arm_armv7a' ... Generating bootstrap.ld ... Compiling startup.o ==> Linking bootstrap.elf ==> Stripping bootstrap.elf ==> "bootstrap.elf" built ==> Installing bootstrap.elf in image directory ==> Installing bootstrap_genode in image directory ==> Installing bootstrap_genode.elf in image directory Image size(s) in bytes: bootstrap_genode.elf: 20488568 Start address: 0x1000000 --> Build-Nr: 17 ==> Installing bootstrap.elf to local build-tree ==> Installing bootstrap_genode to local build-tree ==> Installing bootstrap_genode.elf to local build-tree make[2]: Leaving directory `/home/me/genode-12.02/build.foc/l4/pkg/bootstrap/server/src/OBJ-arm_armv7a' make[1]: Leaving directory `/home/me/genode-12.02/base-foc/contrib/l4/pkg/bootstrap/server/src' spawn qemu-system-arm -serial mon:stdio -M realview-pbx-a9 -m 256 -kernel var/run/noux_bash/image.elf L4 Bootstrapper Build: #17 2012. 02. 29. (수) 15:47:59 KST, 4.6.1 Scanning up to 256 MB RAM Memory size is 256MB (00000000 - 10000000) RAM: 0000000000000000 - 000000000fffffff: 262144kB Total RAM: 256MB mod15: 02354000-0238134c: genode/pl11x_drv mod14: 02324000-02353908: genode/ps2_drv mod13: 012e4000-02324000: genode/bash.tar mod12: 012a7000-012e30a4: genode/ncurses.lib.so mod11: 0129d000-012a6ccc: genode/libc_noux.lib.so mod10: 01277000-0129c6bc: genode/libm.lib.so mod09: 011f4000-01276478: genode/libc.lib.so mod08: 011b6000-011f3a78: genode/terminal mod07: 01175000-011b59f4: genode/noux mod06: 0112f000-0117436c: genode/ld.lib.so mod05: 01104000-0112e05c: genode/timer mod04: 010d0000-0110304c: genode/init mod03: 010cf000-010cf4d1: genode/config mod02: 0107d000-010ce624: genode/core mod01: 01073000-0107c368: sigma0 mod00: 01014000-01072500: /home/me/genode-12.02/build.foc/kernel/fiasco.oc/fiasco Moving 16 modules to 1100000 with offset ec000 moving module 16 { 2354000-238134c } -> { 2440000-246d34c } moving module 15 { 2324000-2353908 } -> { 2410000-243f908 } moving module 14 { 12e4000-2324000 } -> { 13d0000-2410000 } moving module 13 { 12a7000-12e30a4 } -> { 1393000-13cf0a4 } moving module 12 { 129d000-12a6ccc } -> { 1389000-1392ccc } moving module 11 { 1277000-129c6bc } -> { 1363000-13886bc } moving module 10 { 11f4000-1276478 } -> { 12e0000-1362478 } moving module 09 { 11b6000-11f3a78 } -> { 12a2000-12dfa78 } moving module 08 { 1175000-11b59f4 } -> { 1261000-12a19f4 } moving module 07 { 112f000-117436c } -> { 121b000-126036c } moving module 06 { 1104000-112e05c } -> { 11f0000-121a05c } moving module 05 { 10d0000-110304c } -> { 11bc000-11ef04c } moving module 04 { 10cf000-10cf4d1 } -> { 11bb000-11bb4d1 } moving module 03 { 107d000-10ce624 } -> { 1169000-11ba624 } moving module 02 { 1073000-107c368 } -> { 115f000-1168368 } moving module 01 { 1014000-1072500 } -> { 1100000-115e500 } Scanning /home/me/genode-12.02/build.foc/kernel/fiasco.oc/fiasco -serial_esc Scanning sigma0 Scanning genode/core Relocated mbi to [0x100e000-0x100e294] Loading /genode-12.02/build.foc/kernel/fiasco.oc/fiasco Loading sigma0 Loading genode/core find kernel info page... found kernel info page at 0x2000 Regions of list regions [ 1000, 1b3f] { b40} Kern /genode-12.02/build.foc/kernel/fiasco.oc/fiasco [ 2000, 6cfff] { 6b000} Kern /genode-12.02/build.foc/kernel/fiasco.oc/fiasco [ 90000, 96a83] { 6a84} Sigma0 sigma0 [ 98000, 9e17b] { 617c} Sigma0 sigma0 [ 140000, 218813] { d8814} Root genode/core [ 1000000, 10133eb] { 133ec} Boot bootstrap [ 100e000, 100e391] { 392} Root Multiboot info [ 11bb000, 246d34b] { 12b234c} Root Modules Memory API Version: (87) experimental Sigma0 config ip:000900e0 sp:01012704 Roottask config ip:0017b920 sp:00000000 Starting kernel /genode-12.02/build.foc/kernel/fiasco.oc/fiasco at 00001000 Realview System ID: Rev=0 HBI=178 Build=0 Arch=5 FPGA=00 L2: ID=00000000 Type=00000000 Aux=00000000 L2: Type L2C-Unknown Size = 0kB Hello from Startup::stage2 Initialize page table Number of IRQs available at this GIC: 96 Vmem_alloc::init() Cache config: ON ID_PFR0: 00001031 ID_PFR1: 00000011 ID_DFR0: 00000000 ID_AFR0: 00000000 ID_MMFR0: 00100103 ID_MMFR1: 20000000 ID_MMFR2: 01230000 ID_MMFR3: 00002111 FPU0: Arch: VFPv3(3), Part: Unkn(40), r: 0, v: 0, i: 41, t: hard, p: dbl/sngl SERIAL ESC: allocated IRQ 44 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2011 TU Dresden Rev: r38 compiled with gcc 4.6.1 for Realview [] Build: #18 2012. 02. 29. (수) 15:47:56 KST Calibrating timer loop... done. SIGMA0: Hello! KIP @ 2000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:0;fff] [0:6d000;8ffff] [0:97000;97fff] [0:9f000;13ffff] [4:140000;218fff] [0:219000;100dfff] [4:100e000;100efff] [0:100f000;11bafff] [4:11bb000;246dfff] [0:246e000;effffff] IOMEM:---------------------- [0:10000000;ffffffff] KIP @ 2000 magic: 4be6344c version: 87004444 sigma0 esp: 01012704 eip: 000900e0 sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 0017b920 MBI @ 100e000 mod[3] [11bb000,11bb4d1) config mod[4] [11bc000,11ef04c) init mod[5] [11f0000,121a05c) timer mod[6] [121b000,126036c) ld.lib.so mod[7] [1261000,12a19f4) noux mod[8] [12a2000,12dfa78) terminal mod[9] [12e0000,1362478) libc.lib.so mod[10] [1363000,13886bc) libm.lib.so mod[11] [1389000,1392ccc) libc_noux.lib.so mod[12] [1393000,13cf0a4) ncurses.lib.so mod[13] [13d0000,2410000) bash.tar mod[14] [2410000,243f908) ps2_drv mod[15] [2440000,246d34c) pl11x_drv :ram_alloc: Allocator 201f08 dump: Block: [0006d000,00090000) size=00023000 avail=00023000 max_avail=00023000 Block: [00097000,0009701c) size=0000001c avail=00000000 max_avail=00023000 Block: [0009701c,00097038) size=0000001c avail=00000000 max_avail=00000000 Block: [00097038,00097054) size=0000001c avail=00000000 max_avail=00023000 Block: [00097054,00097070) size=0000001c avail=00000000 max_avail=00000000 Block: [00097070,0009708c) size=0000001c avail=00000000 max_avail=00000000 Block: [0009708c,000970a8) size=0000001c avail=00000000 max_avail=00000000 Block: [000970a8,000970c4) size=0000001c avail=00000000 max_avail=00023000 Block: [000970c4,000970e0) size=0000001c avail=00000000 max_avail=00000000 Block: [000970e0,000970fc) size=0000001c avail=00000000 max_avail=00000ecc Block: [000970fc,00097118) size=0000001c avail=00000000 max_avail=00000000 Block: [00097118,00097134) size=0000001c avail=00000000 max_avail=00000ecc Block: [00097134,00098000) size=00000ecc avail=00000ecc max_avail=00000ecc Block: [0009f000,0009f01c) size=0000001c avail=00000000 max_avail=0cb92000 Block: [0009f01c,0009f038) size=0000001c avail=00000000 max_avail=00000000 Block: [0009f038,00140000) size=000a0fc8 avail=000a0fc8 max_avail=000a0fc8 Block: [00219000,0021901c) size=0000001c avail=00000000 max_avail=0cb92000 Block: [0021901c,0100e000) size=00df4fe4 avail=00df4fe4 max_avail=00df4fe4 Block: [0100f000,011bb000) size=001ac000 avail=001ac000 max_avail=0cb92000 Block: [0246e000,0f000000) size=0cb92000 avail=0cb92000 max_avail=0cb92000 => mem_size=230653952 (219 MB) / mem_avail=230653560 (219 MB) :region_alloc: Allocator 203078 dump: Block: [00001000,00002000) size=00001000 avail=00001000 max_avail=00001000 Block: [00003000,0006d000) size=0006a000 avail=0006a000 max_avail=0006a000 Block: [00090000,00097000) size=00007000 avail=00007000 max_avail=00007000 Block: [00098000,0009f000) size=00007000 avail=00007000 max_avail=6fff0000 Block: [0f000000,40000000) size=31000000 avail=31000000 max_avail=31000000 Block: [50000000,bfff0000) size=6fff0000 avail=6fff0000 max_avail=6fff0000 Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000 => mem_size=2701623296 (2576 MB) / mem_avail=2701623296 (2576 MB) :io_mem: Allocator 202364 dump: Block: [00000000,00002000) size=00002000 avail=00002000 max_avail=00002000 Block: [00003000,0006d000) size=0006a000 avail=0006a000 max_avail=0006a000 Block: [00090000,00097000) size=00007000 avail=00007000 max_avail=00007000 Block: [00098000,0009f000) size=00007000 avail=00007000 max_avail=f0ffffff Block: [0f000000,ffffffff) size=f0ffffff avail=f0ffffff max_avail=f0ffffff => mem_size=4043808767 (3856 MB) / mem_avail=4043808767 (3856 MB) :io_port: Allocator 2027c0 dump: :irq: Allocator 202c1c dump: Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100 => mem_size=256 (0 MB) / mem_avail=256 (0 MB) :rom_fs: Rom_fs 2034bc dump: Rom: [01363000,013886bc) libm.lib.so Rom: [0121b000,0126036c) ld.lib.so Rom: [011bc000,011ef04c) init Rom: [011bb000,011bb4d1) config Rom: [013d0000,02410000) bash.tar Rom: [00002000,00003000) l4v2_kip Rom: [00002000,00003000) kip Rom: [012e0000,01362478) libc.lib.so Rom: [01389000,01392ccc) libc_noux.lib.so Rom: [02410000,0243f908) ps2_drv Rom: [01261000,012a19f4) noux Rom: [01393000,013cf0a4) ncurses.lib.so Rom: [02440000,0246d34c) pl11x_drv Rom: [012a2000,012dfa78) terminal Rom: [011f0000,0121a05c) timer :core ranges: Allocator 205920 dump: Block: [0006d000,00090000) size=00023000 avail=00023000 max_avail=00023000 Block: [00097000,00098000) size=00001000 avail=00001000 max_avail=00023000 Block: [0009f000,0100e000) size=00f6f000 avail=00f6f000 max_avail=0dff1000 Block: [0100f000,0f000000) size=0dff1000 avail=0dff1000 max_avail=0dff1000 => mem_size=251150336 (239 MB) / mem_avail=251150336 (239 MB) int main(): --- create local services --- int main(): --- start init --- int main(): transferred 219 MB to init int main(): --- init created, waiting for exit condition --- [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: 360448 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "pl11x_drv" [init] RAM quota: 1933312 [init] ELF binary: pl11x_drv [init] priority: 0 [init] provides service Framebuffer [init] child "ps2_drv" [init] RAM quota: 884736 [init] ELF binary: ps2_drv [init] priority: 0 [init] provides service Input [init] child "terminal" [init] RAM quota: 1933312 [init] ELF binary: terminal [init] priority: 0 [init] provides service Terminal [init] Warning: Specified quota exceeds available quota. [init] Proceeding with a quota of 224178924 bytes. [init] child "noux" [init] RAM quota: 224015084 [init] ELF binary: noux [init] priority: 0 [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> terminal] int main(int, char**): --- terminal service started --- [init -> pl11x_drv] --- pl11x framebuffer driver --- [init -> noux] --- noux started --- [init] child "timer" announces service "Timer" [init -> noux] created tar file system at "" [init -> noux] tar archive 'bash.tar' local at 1070000, size is 17039360 [init] child "ps2_drv" announces service "Input" [init] child "pl11x_drv" announces service "Framebuffer" [init] child "terminal" announces service "Terminal" [init -> noux] created main thread [init -> noux] arg(0): "/bin/bash" [init -> terminal] create terminal session [init -> terminal] new terminal session: [init -> terminal] framebuffer has 640x480 pixels [init -> terminal] character size is 8x16 pixels [init -> terminal] terminal size is 80x30 characters [init -> noux -> /bin/bash] Starting ldso ... [init -> noux -> /bin/bash] Starting application ... environ: 96f68 [init -> noux] open pwd=/ path=/dev/tty [init -> noux] virtual Noux::Vfs_handle* Noux::Tar_file_system::open(Noux::Sysio*, const char*): open /dev/tty [init -> noux] no file system for "/dev/tty" [init -> noux -> /bin/bash] syscall OPEN failed [init -> noux -> /bin/bash] plugin()->open("/dev/tty") failed [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10b1f68 [init -> noux -> /bin/bash] unsupported ioctl (request=0x80086678 [init -> noux -> /bin/bash] DUMMY sbrk(): sbrk called, not implemented [init -> noux -> /bin/bash] DUMMY getuid(): getuid called, not implemented [init -> noux -> /bin/bash] DUMMY getgid(): getgid called, not implemented [init -> noux -> /bin/bash] DUMMY geteuid(): geteuid called, not implemented [init -> noux -> /bin/bash] DUMMY getegid(): getegid called, not implemented [init -> noux -> /bin/bash] int clock_gettime(clockid_t, timespec*): clock_gettime called - not implemented [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10b1f98 [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10b1f98 [init -> noux -> /bin/bash] DUMMY _nsdispatch(): _nsdispatch called, not implemented [init -> noux -> /bin/bash] DUMMY _nsdispatch(): _nsdispatch called, not implemented [init -> noux -> /bin/bash] DUMMY getppid(): getppid called, not implemented [init -> noux -> /bin/bash] int gettimeofday(timeval*, timezone*): gettimeofdaye called - not implemented [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10a0d44 [init -> noux] open pwd=/ path=//.bashrc [init -> noux] virtual Noux::Vfs_handle* Noux::Tar_file_system::open(Noux::Sysio*, const char*): open //.bashrc [init -> noux] no file system for "//.bashrc" [init -> noux -> /bin/bash] syscall OPEN failed [init -> noux -> /bin/bash] plugin()->open("//.bashrc") failed [init -> noux -> /bin/bash] fcntl: F_GETFL for libc_fd=0 [init -> noux -> /bin/bash] syscall FCNTL failed [init -> noux -> /bin/bash] fcntl failed (libc_fd= 0, cmd=3) [init -> noux -> /bin/bash] int clock_gettime(clockid_t, timespec*): clock_gettime called - not implemented [init -> noux] open pwd=/ path=//.bash_history [init -> noux] virtual Noux::Vfs_handle* Noux::Tar_file_system::open(Noux::Sysio*, const char*): open //.bash_history [init -> noux] no file system for "//.bash_history" [init -> noux -> /bin/bash] syscall OPEN failed [init -> noux -> /bin/bash] plugin()->open("//.bash_history") failed [init -> noux -> /bin/bash] syscall STAT failed [init -> noux -> /bin/bash] stat syscall failed for path "//.bash_history" [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10a0d44 [init -> noux -> /bin/bash] int clock_gettime(clockid_t, timespec*): clock_gettime called - not implemented [init -> noux] open pwd=/ path=/etc/termcap [init -> noux] virtual Noux::Vfs_handle* Noux::Tar_file_system::open(Noux::Sysio*, const char*): open /etc/termcap [init -> noux] no file system for "/etc/termcap" [init -> noux -> /bin/bash] syscall OPEN failed [init -> noux -> /bin/bash] plugin()->open("/etc/termcap") failed [init -> noux] virtual bool Noux::Terminal_io_channel::ioctl(Noux::Sysio*): OP_TIOCGWINSZ requested [init -> noux] virtual bool Noux::Terminal_io_channel::ioctl(Noux::Sysio*): OP_TIOCGWINSZ requested [init -> noux -> /bin/bash] unsupported ioctl (request=0x80087467 [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10b1630 [init -> noux -> /bin/bash] syscall STAT failed [init -> noux -> /bin/bash] stat syscall failed for path "//.inputrc" [init -> noux -> /bin/bash] syscall STAT failed [init -> noux -> /bin/bash] stat syscall failed for path "/etc/inputrc" [init -> noux] virtual bool Noux::Terminal_io_channel::ioctl(Noux::Sysio*): OP_TIOCGWINSZ requested [init -> noux -> /bin/bash] unsupported ioctl (request=0x80087467 [init -> noux -> /bin/bash] virtual int {anonymous}::Plugin::ioctl(Libc::File_descriptor*, int, char*): TIOCGETA - argp=0x10b1630 [init -> noux -> /bin/bash] unsupported ioctl (request=0x802c7415

2 1

The problem with the Signal service implementation.
by ivan.bludov 29 Feb '12

29 Feb '12

Hi, All. We were investigating problem of sending big amount of data via network in Genode on Fiasco.OC. And we have found out some significant bug of the Genode Signal service implementation and we also could provide the simple stable solution. As know Packet_stream_rx and Packet_stream_tx implementations (os/include/packet_stream_*) are based on a Signal service (signal.lib) and use RPC submit(Signal_context_capability context) of Genode::Signal_session (base/include/signla_session/signal_session.h). And this submit RPC is invoked all the time while RX – TX packet transferring (as the packet acknowledge). So the problem is that the submit is RPC and according to RPC implementation all parameters, which are capabilities, are passed by special way know as capability marshalling/unmarshalling (base-foc/include/base/ipc.h). And while capability unmarshalling the new l4_cap_sel is allocated and capabilities are mapped once again all the time. In the limit all capability table of the l4 task will be filled completely; especially while intensive packet transferring. And it damages the Genode Core foremost and provides other troubles. As we investigated the decision of using the capability in a sense of signal context is redundant. Signal_session_component::submit uses Siganl_context_capability only for searching it in the context entrypoint (base/src/core/signal_session_component.cc). But the same effect could be achieved by searching signal context by a badge(local_name()) and then there would not be necessity of capability unmarshalling. The decision is quote simple to change the Signal_context_capability typedef from Capability<Signal_context> to simple int or long type (base/include/signla_session/signal_session.h) and then to fix all errors generated by compiler. So we think that this problem of Signal service is significant and has to be fixed as quick as possible. But of course we'll glad to hear any your remarks about the decision to use the capability is a sense of Signal_context. Best, Ivan Bludov.

2 6

Announcement: Genode OS Framework version 12.02 released
by Norman Feske 28 Feb '12

28 Feb '12

I am happy to announce the version 12.02 of the Genode OS Framework. This release is something special because it represents the first version conducted with our new open development process. The framework's additions and improvements were primarily motivated by our road map for 2012. For example, the release comes with the first bits of our device-driver manager dubbed d3m, it enables the interactive execution of a Bash shell to spawn coreutils, and it features the port of a PDF rendering engine. With regard to the base API, the most noteworthy additions are a new framework API for accessing memory-mapped I/O registers more safely and API support for reusing services as sandboxed libraries. Summary of the release notes: * Base framework, low-level OS infrastructure * RPC framework refinements * API support for enslaving services * Support for resizable framebuffers * New MMIO access framework * Enhanced support for Genode used as component framework on Linux * New and updated libraries * Qt4 updated to version 4.7.4 * New ports of openjpeg, jbig2dec, and mupdf * Applications and runtimes * New PDF viewer * Support for fork in the Noux runtime environment * Device drivers * D3m device-driver manager * ACPI support Those and many more topics are covered in detail in the release notes for version 12.02: http://genode.org/documentation/release-notes/12.02 Have fun with the new release - see you on GitHub! 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

How to enable GDB for l4linux
by 정복득 27 Feb '12

27 Feb '12

Hi, I'd like to use gdb_monitor to monitor l4linux and processes running on the l4linux. Could you tell me how to write scripts for that? I am running Genode l4linux on Fiasco.oc on qemu (pbxa9). I took references from sample scripts, debug_nitpicker.run and gdb_monitor.run to modify the l4linux script, but failed to run. The script looks like below: Thanks. ----------------------------------------------------------------------- assert_spec foc # # Build # set build_components { core init drivers/timer drivers/uart drivers/framebuffer l4linux app/gdb_monitor } lappend_if [have_spec x86] build_components drivers/nic lappend_if [have_spec pci] build_components drivers/pci lappend_if [have_spec ps2] build_components drivers/input/ps2 lappend_if [have_spec lan9118] build_components drivers/nic build $build_components create_boot_directory # # Config # set config { <config prio_levels="2"> <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="CAP"/> <service name="PD"/> <service name="RM"/> <service name="CPU"/> <service name="LOG"/> <service name="SIGNAL"/> </parent-provides> <default-route> <any-service> <parent/> <any-child/> </any-service> </default-route> <start name="timer"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="uart_drv"> <resource name="RAM" quantum="1M"/> <provides><service name="Terminal"/></provides> <config><policy label="gdb_monitor" uart="1"/></config> </start> } append_if [have_spec pci] config { <start name="pci_drv"> <resource name="RAM" quantum="1M"/> <provides><service name="PCI"/></provides> </start>} append_if [have_spec vesa] config { <start name="vesa_drv"> <resource name="RAM" quantum="1M"/> <provides><service name="Framebuffer"/></provides> </start> } append_if [have_spec pl11x] config { <start name="pl11x_drv"> <resource name="RAM" quantum="1M"/> <provides><service name="Framebuffer"/></provides> </start> } append_if [have_spec ps2] config { <start name="ps2_drv"> <resource name="RAM" quantum="1M"/> <provides><service name="Input"/></provides> </start>} append_if [have_spec x86] config { <start name="nic_drv"> <resource name="RAM" quantum="2M"/> <provides><service name="Nic"/></provides> </start>} append_if [have_spec lan9118] config { <start name="nic_drv"> <resource name="RAM" quantum="1M"/> <provides><service name="Nic"/></provides> </start> } append config { <start name="gdb_monitor"> <resource name="RAM" quantum="132M"/> <config><target name="l4linux"/></config> </start> </config>} install_config $config # <config args="mem=64M console=ttyS0 l4x_rd=initrd.gz"/> # # Boot modules # set boot_modules { core init timer uart_drv l4linux initrd.gz } lappend_if [have_spec pci] boot_modules pci_drv lappend_if [have_spec ps2] boot_modules ps2_drv lappend_if [have_spec pl11x] boot_modules pl11x_drv lappend_if [have_spec vesa] boot_modules vesa_drv lappend_if [have_spec x86] boot_modules nic_drv lappend_if [have_spec lan9118] boot_modules nic_drv if {[have_spec x86]} { set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz" } elseif {[have_spec arm]} { set uri "http://genode.org/files/release-11.11/l4lx/initrd-arm.gz" } if {![file exists bin/initrd.gz]} { puts "Download initramfs ..." exec >& /dev/null wget -c -O bin/initrd.gz $uri } build_boot_image [join $boot_modules " "] # # Qemu # set local_port 5555 append qemu_args " -m 128 " append qemu_args " -serial unix:/tmp/qemu-pipe,server,nowait " append qemu_args " -serial mon:stdio " append_if [have_spec x86] qemu_args " -net nic,model=e1000 -net user " append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 -net user " # # Execute test case # run_genode_until {.*Remote debugging using /dev/terminal.*} 30 puts "GDB monitor is up, starting GDB in a new terminal" exec [terminal] -e "[gdb] bin/l4linux -ex \"target remote localhost:$local_port\"" & interact

2 1

Fwd: starting something different than make run/demo
by Alexandre Bique 15 Feb '12

15 Feb '12

---------- Forwarded message ---------- From: Norman Feske <norman.feske@...1...> Date: Tue, Feb 14, 2012 at 10:37 AM Alexandre Bique wrote: > That's great ! I really miss input other than click. I don't know how > you started arora etc... I only ran the snprintf test and make run/demo. > But I enabled every repository I think. Good point .-) Would you mind taking question like these to the mailing list? I am sure other people have similar problems so they could benefit from our discussion. Anyway, I don't want to keep the information from you right now. In short: there exist many different run scripts. Each describes a particular boot scenario. Just have a quick look: find <genode-dir> -maxdepth 3 -name "*.run" You can specify each of those run-script names to 'make run/...' in your build directory. For example, to build and run, let's say vim, change to your OKL4 build directory and issue the following command: make run/noux_vim Not all run scripts work across all platforms. In the case of doubt, just risk a look inside the respective run script. I just noticed that there doesn't exist a ready-to-use run script for Arora. Maybe we should create one? The 'qt4.run' script could serve as a nice starting point. For the networking part, the 'lwip.run' script may be useful to look at. -- Alexandre Bique

1 0

fopen() in Genode?
by Sam Kerr 14 Feb '12

14 Feb '12

How can I use fopen() and write a file to disk? When I run the function below: void file_pass() { printf("File pass\n"); char buffer[] = {'s', 'a', 'm'}; FILE* f = fopen("temp","w"); fwrite(buffer, 1, 3, f); fclose(f); } I get the error: no plugin found for open("temp", int) Can anyone offer some advice? I am using L4Pistachio as my base.

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users February 2012