users July 2012

users@lists.genode.org

14 participants
15 discussions

Increasing guest memory in Vancouver
by Markus Partheymueller 04 Sep '12

04 Sep '12

Hi, I'm playing around with vancouver and genode a little and stumbled across the problem that there is only 32 MiB hard-wired backing memory. Trying to increase that memory lead to weird errors. Are there any special things to take care of when increasing that memory amount? Regards Markus

5 12

Has anyone had success with GCC SVN/4.7
by Taru Karttunen 04 Sep '12

04 Sep '12

Hello I was hacking around gccgo (go implementation in gcc) and I can get the runtime and the compiler compiled when using gcc-4.7-RC-20120314. But the issue becomes rest of Genode not liking a newer gcc. Has anyone else had success with either GCC 4.7 or a SVN version of GCC? My current issue is: Library libc MERGE libc.lib.so fd_alloc.o: In function `Libc::file_descriptor_allocator()': /home/taruti/genohack/genode/libports/src/lib/libc/fd_alloc.cc:26: undefined reference to `__dso_handle' /usr/local/genode-gcc/bin/genode-x86-ld: fd_alloc.o: relocation R_X86_64_PC32 against undefined hidden symbol `__dso_handle' can not be used when making a shared object Has anyone got an idea how to solve this? ps. if someone is trying this, one has to compile libsupc++ explicitely with -fPIC to get cxx working. - Taru Karttunen

3 9

Qt port based on QPA
by Robert Campbell 03 Sep '12

03 Sep '12

Qt platform abstraction layer provides a simpler and easier to maintain method of porting Qt to other platforms. Are there plans to upgrade the current Qt port in Genode to make use of the Qt platform abstraction layer?

2 3

Celebrate the 4th Anniversary of Genode with us
by Norman Feske 21 Aug '12

21 Aug '12

Hello, I just sent out an invitation with the Genode-Labs newsletter today. Just in case you are not receiving these mailings, please find the invitation text below: ---- when we released the first version of the Genode OS Framework four years ago, a few people recognized the potential of the technology but considered Genode largely as a research endeavor, which was probably right at that time. Now, four years of dedication and 16 releases later, Genode has evolved to a comprehensive and useful framework that increasingly captures the interest of the "real world". Over the course of the last year, we learned about several industrial research organizations who picked up our work to build upon, received inquiries about licensing our technology for the use in products, and observed increased public interest in the prospects Genode promises with regard to privacy and security. The most significant event for the project during the past year, however, was our move to liberate its development process and thereby expose our way of working and all technical discussions to the public. Although this was a radical move for a small company as ours, we got immediately rewarded by new developers and users entering the scene and an emerging community spirit. To celebrate these achievements together with us, we would like to welcome you to join us having a barbecue and campfire at the riverside: Google Maps: http://goo.gl/maps/C0luj 23th of August, 6 pm near Moritzburger Str. 1 in Dresden Everyone who feels attached to Genode in some way to another, please do not hesitate to drop by, hang out with the Genode crowd, and enjoy the barbecue and beverages. If you plan to attend, please send a brief notice until 20th of August to 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

2 1

NOVA: Capability selectors cause call of invalid portal
by Markus Partheymueller 31 Jul '12

31 Jul '12

Hi, I am quite stuck with a problem I encountered when using a timer connection in Vancouver. As soon as the unique IDs of the capabilities for RPC reach numbers >= 0x100000, RPC calls fail because of calls to invalid portal numbers. In my particular case, there are 4 portals created: [ 0] EC:0xc0019f00 SYS_CREATE PT:0x1a06 EC:0xa7 EIP:0x139950 [ 0] EC:0xc0019f00 SYS_CREATE PT:0x1a07 EC:0xa7 EIP:0x1398d0 [ 0] EC:0xc0019f00 SYS_CREATE PT:0x1a08 EC:0xa7 EIP:0x139950 [ 0] EC:0xc0019f00 SYS_CREATE PT:0x1a09 EC:0xa7 EIP:0x1398d0 In base/include/base/rpc_client.h, I inserted a debug statement showing that the "internal" portal being called is 0x82260. I think this is due to the translation between global capability selectors and NOVA portals, is that correct? When the internal IDs hit 0x100000, what happens is this: [ 0] EC:0xc0019f00 SYS_CREATE PT:0x30e6 EC:0xa7 EIP:0x139950 [ 0] EC:0xc0019f00 SYS_CREATE PT:0x30e7 EC:0xa7 EIP:0x1398d0 [ 0] EC:0xc0019f00 SYS_CREATE PT:0x30e8 EC:0xa7 EIP:0x139950 [ 0] EC:0xc0019f00 SYS_CREATE PT:0x30e9 EC:0xa7 EIP:0x1398d0 But the next event in NOVA is a call to portal number 0x100018, which doesn't exist because it was not created beforehand. It seems to me that from this point in time, the internal IDs are being used as NOVA portals somehow. But all I found was this unmarshalling method in base-nova/include/base/ipc.h: inline void Genode::Ipc_istream::_unmarshal_capability(Genode::Native_capability &cap) { long unique_id = 0; _read_from_buf(unique_id); int pt_sel = unique_id != ~0L ? _rcv_msg->rcv_pt_sel() : 0; cap = Native_capability(pt_sel, unique_id); } I put another debug instruction there and found out that rcv_pt_base was 0x100018, when the call failed. Right now I'm quite lost in all that RPC and Capability wrangling. Maybe someone can shed some light on this? How is that translation between internal IDs and NOVA portals done, anyway? Cheers Markus

2 5

I/O Memory Mapping failed
by Markus Partheymueller 30 Jul '12

30 Jul '12

Hi, I tried to boot a basic setup to test the USB driver with acpi on top of NOVA. But now at boot time, I get the following error: int main(): --- create local services --- int main(): --- start init --- int main(): transferred 3002 MB to init int main(): --- init created, waiting for exit condition --- start new pager object with EIP=0x1024ec4, ESP=0x6001000 start new pager object with EIP=0x1027444, ESP=0x6001000 start new pager object with EIP=0x101f0a4, ESP=0x6001000 start new pager object with EIP=0x1066044, ESP=0x6001000 start new pager object with EIP=0x1039584, ESP=0x6001000 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, v0 start new pager object with EIP=0x102a704, ESP=0x6001000 start new pager object with EIP=0x1038ee4, ESP=0x6001000 start new pager object with EIP=0x1022714, ESP=0x6001000 [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file [init -> acpi -> pci_drv] PCI driver started I/O memory [bf7fe000,bf800000) not available Local MMIO mapping failed! [init -> acpi] C++ runtime: Genode::Parent::Service_denied [init -> acpi] void* abort(): abort called The memory map looks as follows: Hypervisor info page contains 35 memory descriptors: Memory descriptor 1: 0 - 8f000 Memory descriptor 2: 8f000 - 90000 Memory descriptor 3: 90000 - 9d000 Memory descriptor 4: 9d000 - a0000 Memory descriptor 5: e0000 - 100000 Memory descriptor 6: 100000 - bf4bd000 Memory descriptor 7: bf4bd000 - bf4bf000 Memory descriptor 8: bf4bf000 - bf5c7000 Memory descriptor 9: bf5c7000 - bf7bf000 Memory descriptor 10: bf7bf000 - bf7df000 Memory descriptor 11: bf7df000 - bf7ff000 Memory descriptor 12: bf7ff000 - bf800000 Memory descriptor 13: bf800000 - c0000000 Memory descriptor 14: f8000000 - fc000000 Memory descriptor 15: fc000000 - fd000000 Memory descriptor 16: ffe00000 - 100000000 Memory descriptor 17: 4000000 - 43a0b95 Memory descriptor 18: 43a1000 - 4580547 Memory descriptor 19: 4581000 - 474c944 Memory descriptor 20: 474d000 - 4a55ab5 Memory descriptor 21: 4a56000 - 4a5cd2d Memory descriptor 22: 4a5d000 - 4a5d5ac Memory descriptor 23: 4a5e000 - 4bd06b6 Memory descriptor 24: 4bd1000 - 4de03d2 Memory descriptor 25: 4de1000 - 4f6bd5f Memory descriptor 26: 4f6c000 - 541c9e5 Memory descriptor 27: 541d000 - 55ae046 Memory descriptor 28: 55af000 - 57bfa8c Memory descriptor 29: 57c0000 - 5b575aa Memory descriptor 30: 5b58000 - 5d324e1 Memory descriptor 31: 5d33000 - 5f8763c Memory descriptor 32: 5f88000 - 6125c86 Memory descriptor 33: 6126000 - 627e07d Memory descriptor 34: 627f000 - 6742b89 Memory descriptor 35: 400000 - 1800000 What seems odd is that the range requested by the PCI driver (at least that would be my guess) lies partly in descriptor 11 (which is marked as not available in the HIP) and partly in descriptor 12 (which is available physical memory). Any ideas what could be the problem here? Cheers Markus

3 9

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 20 Jul '12

20 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2012