users

users@lists.genode.org

6 participants
2329 discussions

NOVA: remote revoke
by Alexander Boettcher 25 Jul '12

25 Jul '12

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello Udo, do you see any issues to extend the revoke syscall by a protection domain (pd) parameter ? Currently implicitly the current protection domain of the caller is used. With the extension the caller would have to specify explicitly the pd where the revoke operation should apply to. Genode core currently revokes all memory of the client pd subject to destruction. However core has no means to make sure that references to kernel objects are freed which creation has been issued by the client pd directly using the kernel syscalls. Additionally core can't make sure to revoke any mappings of memory, i/o ports and object capabilities which the client received via other channels (services/sessions provided not by core). The same issue also applies to NUL[0], where sigma0 can't clean up the object space of the vancouvers subject to destruction. With the remote revoke core and sigma0 in NUL would be able to make sure that all user level references inside a pd subject to destruction can be freed. Cheers, Alex. [0] http://os.inf.tu-dresden.de/nul -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAlAJCrAACgkQqjRK9KYzJbMfugCfTPyE5Y1Su9satcMLnP3erSVM L70AnjInjRnNJnGmCz3d2OjHRf7QnLgD =M4+6 -----END PGP SIGNATURE-----

3 12

VMware / VirtualBox demo?
by Mike Warot 23 Jul '12

23 Jul '12

I've reached the end of my Linux skill set trying to get the Build environment working in a Ubuntu 11.04 environment. (In a VM) on my Windows 7 box. I really, REALLY want to get up to speed on Genode (as I see it as the ONLY effective stop for all this silly "cyberwar" stuff, thanks to it's native support of capability based security). Is there somewhere I can download a VMware or VirtualBox image of it installed? -- Mike Warot Manager, Information Systems Live Marketing Office: (312) 237-3511 Cell: (219) 801-9272 Email: m.warot@...120...

3 4

USB HID driver fails to recognize input devices
by Markus Partheymueller 21 Jul '12

21 Jul '12

Hi, I'm trying to get the latest Genode running (using the base platform NOVA on a real machine, not qemu). As a simple kick-off I tried to use the demo scenario with nitpicker and launchpad. However, with the USB Legacy support enabled, only the keyboard was working, the mouse could not be configured properly. Now that this machine doesn't have any real PS/2 connectors and the Legacy mode tends to be a bit quirky sometimes, I decided to go for the USB HID driver. But now the driver seems to only find several hubs and ports, but no devices attached to them. Plus, during the boot process, the mouse's LED gets switched off and is never turned on again. Is there some limitation regarding scanned USB ports and/or suitable devices? Or am I missing something else? I attached the log file of this boot process, but be warned that there seems to be some problem with serial output, as mainly in the beginning there are several weird broken lines in the log. Thanks Markus

6 16

IRQ handling
by Ivan Loskutov 19 Jul '12

19 Jul '12

Hello. I try to implement touchscreen driver. I have resistive touchscreen and this touchscreen used GPIO pin for interrupt on tap. I try to extend my GPIO driver for this. I know how to handle IRQ in driver but I need to send this IRQ event from GPIO driver to touchscreen driver. How to do it? I see only polling from touchscreen driver. Or can I use other solution? -- Ivan Loskutov

3 5

Re: Re: Genode RPC: Handling vector parameters
by 정복득 16 Jul '12

16 Jul '12

Okay. Now I changed my rpc params to transferable types. I am using Rpc_in_buffer<> instead of std::string. I want to receive a feedback message from a server through an Rpc_in_buffer<> argument, but the client doesn't receive the results from the server correctly while working correclty with an character array. I should not use Rpc_in_buffer for a reply message from a server? I added test codes to the hello_tutorials : ------ include/hello_session/client.h---- typedef Genode::Rpc_in_buffer<24> String; virtual void feedback_mymsg(String &msg) = 0; GENODE_RPC(Rpc_feedback_mymsg, void, feedback_mymsg, String &); GENODE_RPC(Rpc_say_hello, Rpc_add, Rpc_feedback_mymsg); ------client/main.cc----------------- Hello::String string_mymsg = "hello from client"; h.feedback_mymsg(string_mymsg); PDBG("from server[%p] base:[%p] msg:%s size:%d\n", &string_mymsg, string_mymsg.base(), string_mymsg.string(), string_mymsg.size()); -------server/main.cc------------ void feedback_mymsg(String &msg) { msg = "hello from server"; PDBG("SERVER: base:[%p]", msg.base()); } The client correctly prints out the size of the result message, but the base values is same as the server's. ------- Original Message ------- Sender : Christian Helmuth<christian.helmuth@...1...> Date : 2012-07-13 16:29 (GMT+09:00) Title : Re: Genode RPC: Handling vector parameters Hello 정복득, On Thu, Jul 12, 2012 at 09:16:19AM +0000, 정복득 wrote: > I need to use parameters of std::vector<std::string> type for my RPC > program, but it doesn't seem to work. (I want to define a RPC > function passing varible number of strings as a parameter. The > number of strings is very flexible.) I read about the transferable > argument types from the 11.05 release notes. The RPC mechanism does not support (de)marshalling of complex types like std::vector<std::string> as the serialization of such types cannot be implemented in a generic way but needs type-specific serialization functions. > If vector isn't one of the transferable argument type, could you > give me an alternative programming tip? This issue comes up from time to time and we always encourage the users to enter a discussion about what they really want to achieve resp. to clarify the details of the use case. So, please allow me to give some background information: * The RPC mechanism is just one basic synchronous communication mechanism. Therefore, it's suited for configuration interfaces and interfaces with simple parameters, i.e. C++ base or POD types. The mechanism is not inteded to support structured bulk traffic with complex serialization tasks. * The base mechanism used for RPC is the IPC mechanism of the base platform, which is usually limited with regard to the maximum message size. For Fiasco.OC, the limiting factor is the size of the UTCB. * Besides RPC, Genode also supports the packet-stream interface, which is a packet-based shared-memory mechanism (see os/include/os/packet_stream.h and os/include/packet_stream_rx/tx). The packet stream is well suited for bulk traffic and also supports asynchronous operation. With this background, we could revisit your usage scenario and come up with an approach that fits best. Unfortunately, the serialization of std::vector<std::string> is in any case out of the scope of the base framework, but should not be that hard. Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ · /?d?iː.n??d/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Gesch?ftsf?hrer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main <p> </p><p> </p>

2 1

OMAP4 framebuffer
by Ivan Loskutov 13 Jul '12

13 Jul '12

Hello. I try to extend OMAP4 frame-buffer driver for using with LCD. Your HDMI example does not work. I try to read OMAP DSS registers and receive strange values, for example: value DSS_REVISION is 0x02100004, other DSS and DISPC registers has similar values. What version u-boot do you use on pandaboard? Maybe part of the initialization is performed in u-boot. -- Ivan Loskutov

3 6

Genode RPC: Handling vector parameters
by 정복득 13 Jul '12

13 Jul '12

Hi, I need to use parameters of std::vector<std::string> type for my RPC program, but it doesn't seem to work. (I want to define a RPC function passing varible number of strings as a parameter. The number of strings is very flexible.) I read about the transferable argument types from the 11.05 release notes. If vector isn't one of the transferable argument type, could you give me an alternative programming tip? Thank you. Best, Bokdeuk Jeong

2 1

error with using %lld in Genode::printf or sprintf and including sstream
by 정복득 10 Jul '12

10 Jul '12

Hi, I have two problems with compiling my program. One is that I cannot get correct output with Genode::printf or sprintf for (unsigend) long long values. Below is my code: #include <base/printf.h> #include <stdio.h> #include <sys/types.h> int main() { char test_buf[24]; uint64_t llu_var = 1234567801234ULL; sprintf(test_buf, "%llu", llu_var); Genode::printf("result of test_buf:%s\n", test_buf); Genode::printf("llu_var:%llu\n", llu_var); return 0; } I compiled this with "LIBS += env cxx libc" in target.mk and built it for foc_pbxa9 on QEMU. The result is strange: [init->mytest] result of test_buf:2153943278813471 [init->mytest] llu_var:8212781840017129473 Another one is that I get compilation errors as below: source codes: #include <base/printf.h> #include <stdio.h> #include <sys/types.h> #include <string.h> #include <sstream> using namespace std; template <class T> inline string to_string(const T& t) { stringstream ss; ss << t; return ss.str(); } int main() { int64_t value = 1023456LL; Genode::printf("sstream value:%lld, to_string:%s\n", value, to_string(value).c_str()); return 0; } in target.mk LIBS += stdcxx env cxx libc CC_OPT += -D_GLIBCXX_HAVE_MBSTATE_T error message: /usr/local/genode-gcc/bin/../lib/gcc/arm-elf-eabi/4.6.1/../../../../arm-elf-eabi/lib/libstdc++.a(eh_catch.o): In function '__cxa_begin_catch': (.text.__cxa_begin_catch+0xc0): undefined reference to '__Unwind_Complete' /usr/local/genode-gcc/bin/../lib/gcc/arm-elf-eabi/4.6.1/../../../../arm-elf-eabi/lib/libstdc++.a(eh_catch.o): In function '__cxa_end_catch': (.text.__cxa_end_catch+0x30): undefined reference to '__Unwind_DeleteException' /usr/local/genode-gcc/bin/../lib/gcc/arm-elf-eabi/4.6.1/../../../../arm-elf-eabi/lib/libstdc++.a(eh_catch.o): In function '__cxa_end_catch': (.text.__cxa_end_catch+0xdc): undefined reference to '__Unwind_DeleteException' collect2: ld returned 1 exit status make[2]: *** [mytest] Error 1 Does any one know how to fix these? Thanks.

3 2

Supported platforms
by Robert Campbell 06 Jul '12

06 Jul '12

Is it feasible to maintain a list of platforms(boards) and CPUs that are supported by genode and by which kernel on the website or the github repo?

2 1

Genode drivers
by Robert Campbell 21 Jun '12

21 Jun '12

I saw this thread in the l4-hackers mailing list: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2012/005403.html Could you please answer the same questions regarding drivers in genode. Is it the same way as in L4Re?

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users