Re: TPM, Haskell and RPC mapped through NOVA

2014-11-20 Thread Ivan Loskutov
Hi Thomas, 2014-11-11 12:08 GMT+03:00 Thomas Strobel ts...@cam.ac.uk: My next question is how difficult it is to write Genode applications in Haskell. Is there an environment which can run Haskell applications, something similar to the Haskell Lightweight Virtual Machine for Xen? [2] A

Re: TPM, Haskell and RPC mapped through NOVA

2014-11-12 Thread Norman Feske
Hi Thomas, welcome to the mailing list! I'm new to the genode mailing list, so before I start asking questions, I would want to introduce myself. I'm a software developer and entrepreneur and I'm looking for the right tools to build a new product. It will be a cloud platform which focuses on

Re: TPM, Haskell and RPC mapped through NOVA

2014-11-12 Thread Johannes Schlatow
Hey guys, On Wed, 12 Nov 2014 09:43:36 +0100 Norman Feske norman.fe...@genode-labs.com wrote: My next question is how difficult it is to write Genode applications in Haskell. Is there an environment which can run Haskell applications, something similar to the Haskell Lightweight Virtual

Re: TPM, Haskell and RPC mapped through NOVA

2014-11-11 Thread Nobody III
I myself am not familiar enough with Genode to answer all your questions, but I can answer the GPL question and give you some security advice. The GPL will let you run closed-source applications on top of Genode like they will on Linux, with the condition that you don't use any GPL-licensed