Error about nova-x86-64 on genode1505

2015-06-16 Thread 刘海剑
When I run hello-tutorial on nova-x86-64, the output message is as follows: NOVA Microhypervisor v7-9916e62 (x86_64): Jun 15 2015 18:38:12 [gcc 4.9.2] [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor does not feature VMX Hypervisor does not feature SVM Hy

Re: Port Genode to Exynos4412

2015-06-16 Thread Reinier Millo Sánchez
Hi Oliver What version of Fiasco.OC (r67) you are using, the versión SVN Repository or Stefan Kalkowsky GIT version? It seems to compiled fine, but it fails trying to start the application. When we have ported Fiasco.OC+Genode to the Odroid-X2, we never got that error. Can you share your diff

Re: Error about nova-x86-64 on genode1505

2015-06-16 Thread Alexander Boettcher
Hello, On 16.06.2015 03:55, 刘海剑 wrote: > [init] Could not open ROM session for module "ld.lib.so" > [init -> hello_client] int main(): enter main() in client...1 > [init -> hello_server] int main(): Enter main() in Server... > [init -> hello_server] > Hello::Root_component::Root_component(Genode:

Re: Port Genode to Exynos4412

2015-06-16 Thread pyl
Hi, We are using Genode15.05 and Fiasco.oc(r67) from Stefan Kalkowsky,and we have modified Genode15.05 based on Arndale(exynos5) to supprort odroid-q2. Another thing is we have tested Fiasco.oc(r67) sucessfully on odroid-q2,using patch and configuration from Sunyu.But there is a problem to suppo

Re: Port Genode to Exynos4412

2015-06-16 Thread Reinier Millo Sánchez
Hi Oliver In the patch, you has commented the line: +#PWD=$(PWD)/pkg/moe/server/src$(MAKE) RAM_BASE=$(1) -C pkg/moe/server/src; \ on the l4/Makefile (line 396). In our pathc this line remains uncommented. Now we will test your patch. Is there any reason to

Re: Is X11 forwarding still implemented?

2015-06-16 Thread Norman Feske
Hi Jookia, thanks for explaining your background. Now the picture becomes much clearer. > I'm also a big fan of Qubes and security through isolation. Unfortunately, the > Novena uses the i.MX6 chipset which has an ARM Cortex-A9 CPU which means > there's > no capacity for hardware-based virtualiz

Re: Port Genode to Exynos4412

2015-06-16 Thread Reinier Millo Sánchez
Yes I reviewed now at the Makefile and it don't have this line. What GIT revision are you using? Best regards On 06/16/2015 12:14 PM, pyl wrote: Hi That because I have checked the l4/Makefile of fiasco.oc(r47) and the line has been commented,it seems I did it wrong . Have tried to compile wit

Re: Is X11 forwarding still implemented?

2015-06-16 Thread Martin Stein
Hi Jookia, On 16.06.2015 17:59, Norman Feske wrote: > If you decide to go this route, you may > benefit from Martin's current line of work on providing a virtual block > device to the normal world. The secure world retains the exclusive > access to the real device and can make a partition availabl

Re: Port Genode to Exynos4412

2015-06-16 Thread Reinier Millo Sánchez
I don't think that the line is causing the troubles. What version of Genode are you using? We are using the Stefan Kalkowski commit (87c0950909290b96e331cf7f94cc2ff6d93c1d05) We are using the GenodeLabs 15.05, but with a patch applied by Stefan Kalkowsky to support the Fiasco.OC(r67) compilation

Re: Port Genode to Exynos4412

2015-06-16 Thread Reinier Millo Sánchez
This is the patch that i have applied from Stefan Kalkowski From 87431b0c7627380e954b74b332735361e3e86411 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 20 Jan 2015 10:51:32 +0100 Subject: [PATCH] foc: update to revision 67 Conflicts: repos/base-foc/ports/foc

Re:Re: Port Genode to Exynos4412

2015-06-16 Thread pyl
The same version of Fiasco.oc&Genode.But I don't know about the patch,where is it?Haven't you met those problems with the line remains uncommented? Regards Oliver At 2015-06-17 00:48:25, "Reinier Millo Sánchez" wrote: I don't think that the line is causing the troubles. What version of Gen

Re: Port Genode to Exynos4412

2015-06-16 Thread pyl
Hi That because I have checked the l4/Makefile of fiasco.oc(r47) and the line has been commented,it seems I did it wrong . Have tried to compile with the line remains uncommented,there was a error during compilation: -- ==> "sigma0" built ==> Installing sigma0 to local build-tree make

Re:Re: Port Genode to Exynos4412

2015-06-16 Thread pyl
Follow this URL:https://github.com/skalk/foc ,the revision 67.So is my problem caused by the line? Regards Oliver At 2015-06-17 00:23:21, "Reinier Millo Sánchez" wrote: Yes I reviewed now at the Makefile and it don't have this line. What GIT revision are you using? Best regards On 06/

Re: Genode Tails?

2015-06-16 Thread Nobody III
I've been thinking about this more, and I'm wondering how much I should fragment the browser into different processes. I'm thinking about using one main process, plus two processes per tab that are restarted each time the user navigates to a new page--one for the rendering, and one for the HTTP req

Re: Turmvilla

2015-06-16 Thread Bjoern Doebel
That sounds really cool! 2015-06-06 18:52 GMT+02:00 Madhu (Macaque Labs) : > I remember trying this with Mach 20 years ago. Needless to say, it was not > a very successful > exercise ! I am hoping that we can use Genode more successfully, can't > wait to get off Linux. > > > > On Tue, Jun 2, 2015