Re: GSoc-2017: Platforms - Microkernelizing Linux, help needed

2017-03-06 Thread José Roberto Teixeira
I just forgot to say: thank you very much! ;) -- Announcing the Oxford Dictionaries API! The API offers world-renowned dictionary content that is easy and intuitive to access. Sign up for an account today to start using our

Re: Genode-Demo scenario

2017-03-06 Thread Norman Feske
Hi John, > my query is that i want to integrate some component in the > demo scenario like tutorial browser or menu_view , virtual box etc. can > you guys help me and provide me a way so that by proceeding i can do the > above mentioned things. with the current version of Genode, it comes down to

Re: Make RAM dataspaces read-only (sth similar to mprotect in Linux)

2017-03-06 Thread Norman Feske
Hi David, > Does the '_write' flag in 'Rm_region' already specify whether the > 'Region' is writable or not? > May i use it to determine if the corresponding Mapping should be > writable or do i need to implement another flag? indeed, the flag is unused right now but it was apparently designat

Re: GSoc-2017: Platforms - Microkernelizing Linux, help needed

2017-03-06 Thread José Roberto Teixeira
Hi Norman, 2017-03-03 7:46 GMT-03:00 Norman Feske : > Hi José, > > thanks for your kind words. > > > I think this explanation you gave would fit greatly in the Genode site > > documentation. It would help a lot if the documentation had some > > guidance on where to start, essential reading (like

Re: Make RAM dataspaces read-only (sth similar to mprotect in Linux)

2017-03-06 Thread David Werner
Hi Norman, thank you for you answer! The RO attach sounds indeed like a mechanism that would fit our scenario. May i ask you some more questions on this idea? > RO attach > > In addition to the read/write permission as stored in the dataspace, we > may add the same property to 'Region' objects

Re: Golang on Genode: a follow-up

2017-03-06 Thread Josef Söntgen
Hello Wenbo, TL;DR nothing has changed in regards to Go on Genode AFAIK but as a first step it might be worthwhile to check how well gccgo in our toolchain works if at all. * Wenbo Xu [2017-03-03 16:16:41 +0100]: > I’m also trying to implement something on Genode. I noticed there is