[okl4-developer] allowing IPC between servers

[Geoffrey Lee]

On Fri, Jul 18, 2008 at 02:30:51PM +0200, Charles.VANWITTENBERGHE at fr.thalesgroup.com wrote:

Hi Charles - sorry for getting back to you late.


> Any idea for my issue? I start thinking that the solution is not in
> Elfweaver but somewhere else. Maybe in the SConscript files ?

In OKL4 the IPC communication mechanism is controlled using 
capabilities.  In OKL4 the system call to do this is not
hooked up to the Iguana layer.  This leaves you with two 
alternatives.  Either you can deploy your system directly 
on OKL4 kernel (without Iguana) by writing your own root server that
configures the security properties of the system, or you can modify the
Iguana server to add some code to do this if you just want some
proof of concept.  Support for configuring this more conveniently 
should be available in an upcoming release.

	-gl

> 
> -----Message d'origine-----
> De : developer-bounces at okl4.org [mailto:developer-bounces at okl4.org]De la
> part de Charles.VANWITTENBERGHE at fr.thalesgroup.com
> Envoyé : mercredi 16 juillet 2008 10:46
> À : developer at okl4.org
> Objet : [okl4-developer] allowing IPC between servers
> 
> 
> Hi guys !
> 
> Starting from the hello_world HOWTO, I have been able to make a server able
> to receive and send datas to the OKLinux server.
> 
> Now I want to try the hypervisor protection management by forbiding the two
> servers to communicate, but I don't really know how to do that.
> 
> I tried some stuff with Elfweaver and the weaver.xml file : using
> capabilities, memsection with attach permissions... It doesn't really
> worked.
> 
> Can you guys explain to me precisely how to achieve that ?
> 
> Thanks in advance.
> 
> Charles.
> 
> ----
> 
> Charles Van Wittenberghe
> Stagiaire service SES
> THALES COMMUNICATION 
> 110 Avenue du Maréchal Leclerc
> BP 70942- 49309 CHOLET
> tel : 06.84.12.45.87
> charles.vanwittenberghe at fr.thalesgroup.com
> 
> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
> 

--