Re: Porting GNU libraries

2015-05-05 Thread Aditya Kousik
Wow. That worked, but opened a huge can of worms. For some reason or the other, the compiler can't include cstddef or utility or such _cplusplus based headers. Could this be a C++ version issue? Thanks, Aditya On Tue, May 5, 2015 at 8:29 AM, Norman Feske norman.fe...@genode-labs.com wrote: Hi

Re: Porting GNU libraries

2015-05-05 Thread Aditya Kousik
I'm facing some issues trying to compile the library. In the lib/mk folder, I've added a boost.mk file, which I initially did not set SRC_CC to any value since most of the boost libraries are inline functions. But some components need to be built, so when I added a sample file like this:

Re: Porting GNU libraries

2015-05-05 Thread Aditya Kousik
My goodness, I'm glad it's daytime in Dresden. Thank you, Dr. Norman. I assumed libc would have the std headers; Adding stdcxx helped. It's tough to keep track of which features of linux are already included in the LIBS I've added. stdcxx still throws undefined references for the math functions

Re: Porting GNU libraries

2015-05-05 Thread Christian Helmuth
Hello Aditya, On Tue, May 05, 2015 at 09:13:19AM -0700, Aditya Kousik wrote: My goodness, I'm glad it's daytime in Dresden. Thank you, Dr. Norman. I assumed libc would have the std headers; Adding stdcxx helped. It's tough to keep track of which features of linux are already included in the

Run scripts not working on Raspberry Pi

2015-05-05 Thread Aditya Kousik
Hello, I built a sample run/printf and run/nested_init to test serial output on the Raspberry Pi. Funnily enough, I got a console output when I built it a week back. The same compilation doesn't work now. I don't see any output at all. What could have gone wrong? (I copied the boot folder of the

Re: Run scripts not working on Raspberry Pi

2015-05-05 Thread Aditya Kousik
Sadly, I did. I was following this procedure http://genode.org/documentation/release-notes/13.11#Raspberry_Pi and I set kernel=genode.img and kernel_address=0x0080 in the config.txt file as well. I'm surprised that there's no output now, all of a sudden. On May 5, 2015 00:20, Mohammad

Re: Memory access in tz_vmm

2015-05-05 Thread Martin Stein
Hi Chirag, On 05.05.2015 07:38, chirag garg wrote: It gives me the following fault. I/O memory [4000,5000) not available Local MMIO mapping failed! [init - tz_vmm] C++ runtime: Genode::Parent::Service_denied You can take this fault as a starting point by searching (e.g. via grep)

Re: synchronization between normal and secure world

2015-05-05 Thread Stefan Kalkowski
Hi, On 04/28/2015 02:26 PM, Stefan Brenner wrote: Hi, just a short question, I am using the TZ VMM example on i.MX53. How can I syncronize accesses to a shared memory range between secure world and normal world? I would be interested in a mutex that can be acquired both from Genode in

libcrypto/openssl : Which to use

2015-05-05 Thread Aditya Kousik
To use libcrypto++, I found online that openssl will suffice. But while there is a port file for both libraries, there's no openssl.mk in lib/mk. Grepping the mk files I saw a line in libcrypto.inc which calls select_from_ports,openssl. So, is it the case that we prepare_port for openssl but add

Re: i.MX53 TrustZone cross world interactions

2015-05-05 Thread Martin Stein
Hi Ofer, On 05.05.2015 11:06, Ofer Hasson wrote: My question is, how in the Genode hypervisor I can access this memory address ? Any idea will be helpful You should have a look at '_ram_iomem' in [1]. It is the IO_MEM session of the VMM that references the RAM of the normal world. Once