users

users@lists.genode.org

1 participants
2310 discussions

New version of LDSO
by Sam Kerr 18 Oct '11

18 Oct '11

Hi, I have been working on porting some of my dynamic loader work to the newer version of Genode. I thought I would start by compiling the test-ldso program and running it. When I do, I get the following output, but I don't really understand why the errors are there. Can anyone offer guidance? [init -> test-ldso] Starting ldso ... [init -> test-ldso] Starting application ... environ: 83424 [init -> test-ldso] [init -> test-ldso] Static Geekings! [init -> test-ldso] ================ [init -> test-ldso] Test read [init -> test-ldso] no plugin found for read(0) [init -> test-ldso] Static object in funcion ... a: aaaaaaaa b: bbbbbbbb c: cccccccc 6: 00000666 [init -> test-ldso] Shared library function call ...good [init -> test-ldso] Ctor in shared lib ... a: aaaaaaaa b: bbbbbbbb c: cccccccc 6: 00000666 [init -> test-ldso] Exception in shared lib ... good (library) [init -> test-ldso] Cross library exception ... good (cross library) [init -> test-ldso] Exception during RPC: Could not open file "__not_found__" [init -> test-ldso] good [init -> test-ldso] Exception in dynamic binary ... good (binary) [init -> test-ldso] Exception inter-shared library ... good (inter) [init -> test-ldso] Exception from LDSO with explicit catch ... good [init -> test-ldso] Libc test: abs(-10): 10 [init -> test-ldso] ================ [init -> test-ldso] [init] virtual void Genode::Child_policy::exit(int): child exited with exit value 0 -Sam Kerr

2 1

Android on top of Genode
by Stefan Kalkowski 23 Sep '11

23 Sep '11

Dear Genode Community, I'm happy to announce Genode's new facility to drive Google's Android. By porting our changes of L4Linux to the L4Android fork we paved the way to run Android instances in Genode. Beside the support of L4Android, we added a bunch of new virtual drivers for L4Linux + L4Android, that enable the usage of the following Genode device driver interfaces in these para-virtualized Linux clones: * Nic-session * Block-session * Terminal-session The new features are available at our SVN repository. For giving it a quick try, you may have a look at the quickstart section in the updated 'ports-foc/README' document: http://genode.svn.sourceforge.net/viewvc/genode/trunk/ports-foc/README Please be aware that currently we've tested L4Android/Genode on top of the IA32 architecture only. Thanks a lot to Adam Lackorzynski as the main author of L4Linux, and to the whole team around L4Android, as well as to Daniel Waddington for bringing this feature onto our agenda. Best Regards Stefan -- Stefan Kalkowski 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

Error when tried to build manually Hello Demo
by Le Bao TRUONG 22 Sep '11

22 Sep '11

Hi all, I would like build manually the 'Hello Tutorial' demo. But I have an error to execute ./core. I follow the tutorial : 1. Build the server side by make hello/server 2. Build the client side by make drivers/timer make hello/client Then, the tutoriel told me to execute a binary ./core. But I couldn't find core file in my bin/ directory so I build it by make core hello/client Then I execute ./core, my program is stopping at int main(): --- create local services --- int main(): --- start init --- Could not open file "init" ROM module "init" not present int main(): transferred 79 MB to init Would you like give me some advice ? Thanks, Le Bao

2 1

User-level debugging on Genode via GDB
by Norman Feske 19 Sep '11

19 Sep '11

Hello, I am happy to announce the addition of a new user-level debugging facility to Genode, which will hopefully make the life of Genode application developers much easier. Our new GDB monitor component allows GDB to be connected to an individual Genode process as a remote target (via UART or TCP connection). Thereby, a wide range of convenient debugging features become available, for example * The use of breakpoints, * Single-stepping through assembly instructions or at function level, * Source-level debugging, * Printing of backtraces and call-frame inspection, and * Observing different threads of a Genode process I want to highlight that both statically linked programs as well as programs that use shared libraries are supported, which we see as a significant improvements over the traditional debugging tools. The new feature is available at our SVN repository. For giving it a quick try, you may find the following documentation useful. Among the introduction of the approach, it provides a step-by-step guide as a starting point for experimentation: http://genode.org/documentation/developer-resources/gdb Please note that, at this point, the feature is only supported on a small subset of Genode's base platforms (namely Fiasco.OC and partially OKL4). We may extend the support to other platforms if we see public demand. Thanks a lot to Daniel Waddington for bringing this feature onto our agenda. Have fun! 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

error to build Genode for Linux
by TRUONG Le Bao 16 Sep '11

16 Sep '11

Hi all, When I tried the tutorial how to build Genode for Linux, I have an error : In file included from /home/lbtruong/genode.11/base-linux/src/base/ipc/ipc.cc:21: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_socketcall(int, long unsigned int*)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:82: erreur: ‘__NR_socketcall’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_write(int, const void*, Genode::size_t)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:164: erreur: ‘__NR_write’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_close(int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:170: erreur: ‘__NR_close’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_execve(const char*, char* const*, char* const*)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:181: erreur: ‘__NR_execve’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘void lx_exit(int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:187: erreur: ‘__NR_exit’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘void lx_exit_group(int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:193: erreur: ‘__NR_exit_group’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_open(const char*, int, mode_t)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:203: erreur: ‘__NR_open’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘void* lx_mmap(void*, Genode::size_t, int, int, int, off_t)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:213: erreur: ‘__NR_mmap2’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_munmap(void*, size_t)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:220: erreur: ‘__NR_munmap’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_ftruncate(int, long unsigned int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:253: erreur: ‘__NR_ftruncate’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_unlink(const char*)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:259: erreur: ‘__NR_unlink’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_stat(const char*, stat64*)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:271: erreur: ‘__NR_stat64’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_sigaction(int, void (*)(int))’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:332: erreur: ‘__NR_rt_sigaction’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_kill(int, int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:343: erreur: ‘__NR_kill’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_tgkill(int, int, int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:355: erreur: ‘__NR_tgkill’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘pid_t lx_getpid()’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:381: erreur: ‘__NR_getpid’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘pid_t lx_gettid()’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:382: erreur: ‘__NR_gettid’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘uid_t lx_getuid()’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:383: erreur: ‘__NR_getuid’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘int lx_nanosleep(const timespec*, timespec*)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:394: erreur: ‘__NR_nanosleep’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘bool lx_sigpending(int)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:445: erreur: ‘__NR_rt_sigpending’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h: In function ‘bool lx_sigsetmask(int, bool)’: /home/lbtruong/genode.11/base-linux/src/platform/linux_syscalls.h:461: erreur: ‘__NR_rt_sigprocmask’ was not declared in this scope /home/lbtruong/genode.11/base-linux/src/base/ipc/ipc.cc: In member function ‘void Genode::Ipc_istream::_wait()’: /home/lbtruong/genode.11/base-linux/src/base/ipc/ipc.cc:117: erreur: ‘EINTR’ was not declared in this scope make[3]: *** [ipc.o] Erreur 1 make[2]: *** [ipc.lib] Erreur 2 make[1]: *** [gen_deps_and_build_targets] Erreur 2 make[1]: quittant le répertoire « /home/lbtruong/genode.11/buildLinux » Error: Genode build failed make: *** [run/demo] Erreur 252 Would you like guide me how to solve this problem ? Regards, TRUONG

3 10

Asynchronous Nested Page Fault Handling
by Daniel Waddington 13 Sep '11

13 Sep '11

Hi, I am wondering why Genode uses asynchronous signals to call custom nested page fault-handlers. Can someone explain why? It would seem more sensible to use synchronous IPC for this purpose. Thanks Daniel

2 3

Need help for Genode + bare-metal app on Codezero
by Le Bao TRUONG 13 Sep '11

13 Sep '11

Hi all, I tried the graphical Genode on Codezero demo and I have developed the bare-metal applications on Codezero Hypervisor. So I think that it's good idea if I could boot two container. One container contient the graphical Genode and the other contient my bare-metal app, 'Hello Word'. So I modified the liker script in base-codezero/src/platform/genode.ld so I could have two container when the script /tools/create_builddir is executed. I executed first time the command 'make run/demo' on my builddir. It complain very normal the makefile could not find my app. So I create a directoire "Hello_Word" in <my builddire>/kernel/codezero/conts/baremetal/ I retried the command 'made run/demo'I have the error : Building userspace libraries... Building containers... Building the kernel... Building the loader and packing... Building qemu-insight-script... Build complete... Run qemu with following command: ./tools/run-qemu-insight scons: warning: The build_dir keyword has been deprecated; use the variant_dir keyword instead. File "/home/lbtruong/genode.11/buildCode0/kernel/codezero/conts/baremetal/hello_world/SConstruct", line 52, in <module> while executing "exec sh -c $command" (procedure "exec_sh" line 3) invoked from within "exec_sh "cd [kernel_dir]; PATH=$prepend_path:\$PATH ./build.py"" (procedure "build_boot_image" line 29) invoked from within "build_boot_image $boot_modules" (file "/home/lbtruong/genode.11/os/run/demo.run" line 107) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/lbtruong/genode.11/tool/run" line 443) make: *** [run/demo] Erreur 1 make: quittant le répertoire « /home/lbtruong/genode.11/buildCode0 » But I have already patch my Codezero source in base-codezero/contrib directory with your patch "[codezero-devel] patch: SCons 2.0.1" And I saw that Code Zero have success to build the final.elf image. So I tried boot the image with qemu-system-arm VM area at [00001000,50000000) :phys_alloc: Allocator 150660 dump: Block: [000b0000,00170000) size=000c0000 avail=000c0000 max_avail=03a69000 Block: [00597000,04000000) size=03a69000 avail=03a69000 max_avail=03a69000 => mem_size=62033920 (59 MB) / mem_avail=62033920 (59 MB) :virt_alloc: Allocator 150ac0 dump: Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000 Block: [00002000,00100000) size=000fe000 avail=000fe000 max_avail=3fe90000 Block: [00170000,40000000) size=3fe90000 avail=3fe90000 max_avail=3fe90000 => mem_size=1073278976 (1023 MB) / mem_avail=1073274880 (1023 MB) :io_mem_alloc: Allocator 15536c dump: Block: [04000000,80000000) size=7c000000 avail=7c000000 max_avail=7c000000 => mem_size=2080374784 (1984 MB) / mem_avail=2080374784 (1984 MB) l4_thread_control returned -3, spid=1 create_thread returned -1 core started local thread "entrypoint" with ID -1 cont1: Hello world from hello_world1! I could see that my app is successful executed but not the Genode. Would you like give me somme advices ? Thanks, Le Bao

2 1

missing stderr?
by Daniel Waddington 31 Aug '11

31 Aug '11

Hi, Since upgrading to 11.08 I now get a missing symbol for 'stderr' ; needed by libstdc++.a /usr/local/genode-gcc-x86_32/bin/../lib/gcc/i686-pc-linux-gnu/4.4.5/../../../libstdc++.a(vterminate.o): In function `__gnu_cxx::__verbose_terminate_handler()': /home/dwaddington/svn/genode/tool/gcc_build_x86/i686-pc-linux-gnu/libstdc++-v3/libsupc++/../../../../gcc-4.4.5/libstdc++-v3/libsupc++/vterminate.cc:47: undefined reference to `stderr' /home/dwaddington/svn/genode/tool/gcc_build_x86/i686-pc-linux-gnu/libstdc++-v3/libsupc++/../../../../gcc-4.4.5/libstdc++-v3/libsupc++/vterminate.cc:65: undefined reference to `stderr' /home/dwaddington/svn/genode/tool/gcc_build_x86/i686-pc-linux-gnu/libstdc++-v3/libsupc++/../../../../gcc-4.4.5/libstdc++-v3/libsupc++/vterminate.cc:91: undefined reference to `stderr' I can hack around it by declaring stderr in my main.cc. Thanks Daniel -- *Daniel G. Waddington Ph.D. C.Sci. **| **Samsung Information Systems America (SISA)* Principal Engineer/Research Manager, Systems Research Group, Computer Science Lab t: 408-544-5675 f: 408-544-5540 c: 408-890-0479 d.waddington@...60... <mailto:d.waddington@...60...> *****P*Please consider the environment before printing this email. This message is intended only for the named recipient(s) above and may contain confidential or privileged information or protected attorney work product. If you are not the intended recipient, any review, dissemination, distribution or copying is strictly prohibited. If you have received this message in error, please immediately notify the sender and delete this message and its attachments from your computer and dispose of all other copies or printouts. Thank you.

3 6

happy third birthday
by ross mcginnis 19 Aug '11

19 Aug '11

Happy birthday Genode. Best wishes from Australia. Ross McGinnis

1 0

Announcement: Genode OS Framework version 11.08 released
by Stefan Kalkowski 17 Aug '11

17 Aug '11

The 11.08 release brings unified workflows for all base platforms with a streamlined tooling support, enhanced documentation, and a new quality-assurance infrastructure as well as some functional additions. With the version 11.08, the framework relieves the burden of using distinct base platforms with Genode by introducing a unified way to download, build, and use each of the kernels with Genode's user-level infrastructure. The new tools empower users of the framework to instantly change the underlying kernel without the need to know the peculiarities of the respective kernels. Using microkernels has never been easier. The second challenge of translating each kernel's specific behaviour to the framework's unified API longs for an automated testing infrastructure that systematically exercises all the various facets of the API on all base platforms. The new version introduces the tooling support especially designed for conducting such quality-assurance measures. Speaking of functional enhancements, the work on version 11.08 was focused on our block-device infrastructure and ARM support. The additions comprise new drivers for SD-cards, IDE, SATA, USB storage as well as a new partition server. All those components provide Genode's generic block interface, which is meant to be used a back end for file systems. On file-system level, a new libc plugin utilizes libffat to enable the straight-forward use of VFAT partitions by libc-using programs. Additionally, the release brings far-reaching improvements with respect to ARM-based platforms. The paravirtualized L4Linux kernel has been updated to Linux version 2.6.39 running on both x86_32 and ARM. Also, Qt4 including Webkit has become functional on ARMv6-based platforms. Read on about these and all additional changes in more detail in the release notes at http://genode.org/documentation/release-notes/11.08/ -- Stefan Kalkowski 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:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users