users

users@lists.genode.org

2285 discussions

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

exception propagation
by Daniel Waddington 12 Aug '11

12 Aug '11

Hi, I'm trying to catch a Region_conflict exception from a call to env()->rm_ression()->attach(...). By putting printfs in the Genode code I see the exception is being thrown in the rm-session-component, but it does not seem to be getting propagated back to the client app. Can someone check the new GENODE_RPC_THROW macro is working correctly? Fiasco.OC x86_32. Thanks Daniel

3 2

Possible race (FiascoOC) signalling?
by Daniel Waddington 29 Jul '11

29 Jul '11

Hi, I'm having problem with some intermittent error reported as follows: [init -> test-pager-2] Test::Pager::Pager(): Pager constructed OK. page fault (READ pf_addr=1004000 pf_ip=1011748 from 44a000) page fault (READ pf_addr=1006000 pf_ip=1011748 from 44a000) page fault (READ pf_addr=1008000 pf_ip=1011748 from 44a000) [init -> test-pager-2] Test-pager-2 example. ;-)) [init -> test-pager-2] Test::SharedMemory::SharedMemory(): About to start the pager. KERNEL: Warning: nothing mapped: (Obj_space) from [0xfcdcedec/a3]: 00000407 size: 00000001 to [0xfcdcedec/a3] KERNEL: Warning: nothing mapped: (Obj_space) from [0xfcdcedec/a3]: 0000040b size: 00000001 to [0xfcdcef4c/b] KERNEL: Warning: nothing mapped: (Obj_space) from [0xfcdcef4c/b]: 00000206 size: 00000001 to [0xfcdcef4c/b] KERNEL: Warning: nothing mapped: (Obj_space) from [0xfcdcedec/a3]: 0000040b size: 00000001 to [0xfcdcef4c/b] KERNEL: Warning: nothing mapped: (Obj_space) from [0xfcdcef4c/b]: 00000206 size: 00000001 to [0xfcdcef4c/b] page fault (READ pf_addr=4db30 pf_ip=4db30 from 44a000) page fault (READ pf_addr=4a310 pf_ip=4a310 from 44a000) page fault (READ pf_addr=49ce0 pf_ip=49ce0 from 44a000) page fault (READ pf_addr=6b004 pf_ip=4ac5b from 44a000) page fault (READ pf_addr=6c008 pf_ip=4ac5b from 44a000) page fault (READ pf_addr=6d000 pf_ip=4a958 from 44a000) page fault (READ pf_addr=6e004 pf_ip=4ac5b from 44a000) page fault (READ pf_addr=6f00c pf_ip=4ac5b from 44a000) page fault (WRITE pf_addr=231c pf_ip=4c111 from 44a000) page fault (READ pf_addr=47ae0 pf_ip=47ae0 from 44a000) page fault (READ pf_addr=48134 pf_ip=48135 from 44a000) page fault (READ pf_addr=8e034 pf_ip=4b17e from 44a000) page fault (READ pf_addr=4eb70 pf_ip=4eb70 from 44a000) page fault (READ pf_addr=44770 pf_ip=44770 from 44a000) page fault (READ pf_addr=46030 pf_ip=46030 from 44a000) page fault (READ pf_addr=456d0 pf_ip=456d0 from 44a000) [init -> test-pager-2] C++ runtime: Genode::Rm_session::Invalid_thread [init -> test-pager-2] void* abort(): abort called In the following code it seems to occur as a result of the Signal / _receiver calls. Any ideas?? #include <base/printf.h> #include <base/sleep.h> #include <base/rpc_server.h> #include <cap_session/connection.h> #include <dataspace/client.h> #include <rom_session/connection.h> #include <rm_session/connection.h> #include <ram_session/connection.h> #include <foc_cpu_session/foc_cpu_session.h> #include <foc_cpu_session/client.h> #include <root/component.h> #include <util/avl_string.h> #include <util/misc_math.h> #include <assert.h> #include <stdlib.h> #include <omnios/thread.h> #include <omnios/sleep.h> #define PAGE_SIZE 4096 #define SHARED_MEMORY_SIZE (1*PAGE_SIZE) using namespace Genode; namespace Test { /** * Example pager class * * @return */ class Pager : public OmniOS::Thread { private: Signal_receiver _receiver; public: // ctor Pager() { PDBG("Pager constructed OK."); } Signal_receiver *signal_receiver() { return &_receiver; } void entry(); }; /** * Example backing store class - this one uses physical memory * */ class Physical_backing_store : public Signal_context { private: Rm_connection _rm; Genode::size_t _size; Dataspace_capability _ds; Dataspace_client _ds_client; unsigned long _iter; public: // ctor Physical_backing_store(Genode::size_t size): _rm(0,size), _ds(env()->ram_session()->alloc(SHARED_MEMORY_SIZE)), _ds_client(_ds), _iter(0) { _size = size; assert(_size > 0); } virtual ~Physical_backing_store() { } /** * Page fault handler. * */ void handle_fault() { Rm_session::State state = _rm.state(); if(state.type != Rm_session::READY) { if(__sync_fetch_and_add(&_iter,1) > 0) { PDBG("Entered PF handler again!!!\n"); return; } else PDBG("Entered PF handler for 1st time!\n"); } printf("Test::Physical_backing_store:: rm session state is %s, pf_addr=0x%lx\n", state.type == Rm_session::READ_FAULT ? "READ_FAULT" : state.type == Rm_session::WRITE_FAULT ? "WRITE_FAULT" : state.type == Rm_session::EXEC_FAULT ? "EXEC_FAULT" : "READY", state.addr); if (state.type == Rm_session::READY) return; try { try { /* print out the physical address */ { Genode::addr_t addr = _ds_client.phys_addr(); printf("Physical addr of dataspace:0x%lX\n",addr); } /* write something in for testing */ char * addr = (char*) env()->rm_session()->attach(_ds); assert(addr); addr[0] = 1; addr[1] = 2; addr[2] = 3; env()->rm_session()->detach((void*)addr); } catch(...) { PERR("Actual page allocation failed.\n"); } _rm.attach_at(_ds, state.addr & ~(PAGE_SIZE - 1)); PDBG("attached data space OK!\n"); } catch (Genode::Rm_session::Region_conflict) { PERR("Region conflict - this should not happen\n"); } catch (Genode::Rm_session::Out_of_metadata) { PERR("Out of meta data!\n"); } catch(...) { PERR("Something else caused attach to fail in fault handler.\n"); } return; } Rm_connection *rm() { return &_rm; } Dataspace_capability ds() { return _rm.dataspace(); } void connect_pager(Pager& _pager) { /* connect pager signal receiver to the fault handler */ _rm.fault_handler(_pager.signal_receiver()->manage(this)); } }; /** * Entry point for pager thread. * */ void Pager::entry() { while (true) { try { // THIS code BREAKS THINGS Signal signal = _receiver.wait_for_signal(); for (int i = 0; i < signal.num(); i++) { static_cast<Physical_backing_store *>(signal.context())->handle_fault(); } } catch (...) { PDBG("unexpected error while waiting for signal"); } } } class SharedMemory { private: void * _vaddr; Genode::Cancelable_lock _vaddr_lock; Test::Physical_backing_store _bs; /* create pager object */ static Test::Pager _pager; public: SharedMemory(): _vaddr(NULL),_bs(SHARED_MEMORY_SIZE) { PDBG("About to start the pager."); /* lets start the pager thread */ _pager.start(); /* allocate some backing store */ try { /* connect pager to fault handler */ _bs.connect_pager(_pager); /* attach to dataspace */ assert(!_vaddr); addr_t target_va = 0xfff000; /* look, we can use a specific VA address */ PDBG("About to attach to vaddr (0x%p)\n",_vaddr); _vaddr = env()->rm_session()->attach(_bs.ds(),SHARED_MEMORY_SIZE,0,true,target_va); PDBG("Attached dataspace to vaddr (0x%p)\n",_vaddr); assert(_vaddr); } catch(...) { PERR("Something failed in SharedMemory ctor.\n"); enter_kdebug("Unexpected condition."); } } void r_access(unsigned int tid) { assert(_vaddr); /* trigger read fault */ char* c = (char*) _vaddr; printf("Read (va=%p) [%d %d %d] (tid=%u)\n",c,c[0],c[1],c[2],tid); } void w_access() { assert(_vaddr); /* trigger write fault */ char* c = (char*) _vaddr; c[0]=2; c[1]=3; c[2]=4; } }; /* static initializers */ Test::Pager Test::SharedMemory::_pager; } int main() { Genode::printf("Test-pager-2 example. ;-))\n"); Test::SharedMemory shmem; Genode::printf("shmem created ok.\n"); Genode::sleep_forever(); return 0; } -- *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.

2 3

Third anniversary of the Genode OS Framework
by Norman Feske 28 Jul '11

28 Jul '11

Dear Genode Community, it has been almost three years ago when we published the first version of the Genode OS Framework. Since then, our ongoing commitment and dedication to bring forward this technology has proven our project to be sustaining and constantly evolving. Moreover, to our delight, the last year has shown that the potential behind our project receives increasing recognition by people outside the inner circle of the Genode and L4 communities. This gives us more than enough reasons to celebrate the 3rd anniversary of Genode together with you! Let's gather for a barbecue and a campfire on 19th of August, 6 pm near Moritzburger Str. 1 in Dresden http://maps.google.de/maps/ms?ie=UTF8&msa=0&msid=103318122554571178078.0004… We'd be happy about everyone who feels related to Genode to join us at the wonderful location nearby the river, enjoying both vegetarian and non-vegetarian barbecue and beverages. If you plan to attend, please leave a short note until 17th of August at info@...1... 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

1 0

gmp on Genode + Fiasco.OC
by Sivaramakrishnan KC 27 Jul '11

27 Jul '11

Hi, While using gmp library (from libports) in a c project works fine, including gmp in a c++ project throws the following compiler errors. Any insight on what could be going wrong here? Program app/src/test-ml COMPILE main.o In file included from /home/kc/install/omnios/genode/ml/src/app/src/main.cc:1: /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:24:70: warning: iosfwd: No such file or directory /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:25:18: warning: cstdio: No such file or directory /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:51:40: warning: cstddef: No such file or directory In file included from /home/kc/install/omnios/genode/ml/src/app/src/main.cc:1: /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:538: error: 'std::FILE' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:542: error: expected ',' or '...' before '(' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:547: error: expected ',' or '...' before '(' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:624: error: 'size_t' has not been declared In file included from /home/kc/install/omnios/genode/ml/src/app/src/main.cc:1: /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:807: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:807: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:807: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:904: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:904: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:904: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1092: error: 'size_t' does not name a type /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1096: error: 'size_t' does not name a type /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1353: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1444: error: 'size_t' does not name a type /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1533: error: 'size_t' does not name a type /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1590: error: 'size_t' has not been declared /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:1790: error: 'size_t' does not name a type /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:2180: error: expected constructor, destructor, or type conversion before '&' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:2181: error: expected constructor, destructor, or type conversion before '&' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:2182: error: expected constructor, destructor, or type conversion before '&' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:2183: error: expected constructor, destructor, or type conversion before '&' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:2184: error: expected constructor, destructor, or type conversion before '&' token /home/kc/install/omnios/genode/libports/include/gmp/x86_32/gmp.h:2185: error: expected constructor, destructor, or type conversion before '&' token make[2]: *** [main.o] Error 1 make[1]: *** [test-ml.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2 Thanks kc

2 2

Simple custom pager
by Daniel Waddington 21 Jul '11

21 Jul '11

Hi, As a toy exercise I'm trying to write a very simple custom pager which simply allocates memory from RAM to handle page faults. When I try to handle the fault I get a region conflict exception. Can someone tell me why?? I think I am missing something fundamental here. Thanks Daniel ---- #include <base/printf.h> #include <base/sleep.h> #include <base/rpc_server.h> #include <cap_session/connection.h> #include <dataspace/client.h> #include <rom_session/connection.h> #include <rm_session/connection.h> #include <ram_session/connection.h> #include <root/component.h> #include <util/avl_string.h> #include <util/misc_math.h> #include <assert.h> #define PAGE_SIZE 4096 using namespace Genode; namespace Test { /** * Example pager class * * @return */ class Pager : public Thread<8192> { private: Signal_receiver _receiver; public: Signal_receiver *signal_receiver() { return &_receiver; } void entry(); }; /** * Example backing store class - this one uses physical memory * */ class Physical_backing_store : public Signal_context { private: Rm_connection _rm; size_t _size; public: // ctor Physical_backing_store(size_t size): _rm(0,_size) { _size = size; assert(_size > 0); } virtual ~Physical_backing_store() { } /** * Page fault handler. * */ void handle_fault() { Rm_session::State state = _rm.state(); printf("Test::Physical_backing_store:: rm session state is %s, pf_addr=0x%lx\n", state.type == Rm_session::READ_FAULT ? "READ_FAULT" : state.type == Rm_session::WRITE_FAULT ? "WRITE_FAULT" : state.type == Rm_session::EXEC_FAULT ? "EXEC_FAULT" : "READY", state.addr); if (state.type == Rm_session::READY) return; try { Dataspace_capability _ds; try { _ds = env()->ram_session()->alloc(PAGE_SIZE); } catch(...) { PERR("Actual page allocation failed.\n"); } _rm.attach_at(_ds, state.addr & ~(PAGE_SIZE - 1)); PDBG("attached data space OK!\n"); } catch (Genode::Rm_session::Region_conflict) { PERR("Region conflict - this should not happen\n"); } catch (Genode::Rm_session::Out_of_metadata) { PERR("Out of meta data!\n"); } catch(...) { PERR("Something else caused attach to fail in fault handler.\n"); } return; } Rm_connection *rm() { return &_rm; } Dataspace_capability ds() { return _rm.dataspace(); } void connect_pager(Pager& _pager) { /* connect pager signal receiver to the fault handler */ _rm.fault_handler(_pager.signal_receiver()->manage(this)); } }; /** * Entry point for pager thread. * */ void Pager::entry() { printf("Pager thread started OK.\n"); while (true) { try { Signal signal = _receiver.wait_for_signal(); for (int i = 0; i < signal.num(); i++) { static_cast<Physical_backing_store *>(signal.context())->handle_fault(); } } catch (...) { PDBG("unexpected error while waiting for signal"); } } } } int main() { Genode::printf("Test-pager example. ;-))\n"); Test::Pager _pager; /* start pager thread */ _pager.start(); /* create dataspace etc. */ try { enum { MANAGED_DS_SIZE = 64*1024*1024 }; Test::Physical_backing_store bs(MANAGED_DS_SIZE); /* connect pager to fault handler */ bs.connect_pager(_pager); /* attach to dataspace */ char * addr = (char*) env()->rm_session()->attach(bs.ds()); assert(addr); /* trigger read fault */ printf("!!!Triggering fault...\n"); printf("%c%c%c\n",addr[0],addr[1],addr[2]); printf("Fault handled OK.\n"); } catch(...) { PERR("Something failed ????.\n"); } printf("test-pager completed.\n"); Genode::sleep_forever(); return 0; }

3 6

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users