Re: Paper: undermine memory isolation in Fiasco OC covert channels

I have now read the TUB paper, and feel I have to correct a number of the statements Marcus has made in this regard. > On 11 Dec 2014, at 2:34 , Marcus Völp wrote: > > Hi, > > On 12/10/2014 03:23 PM, teclis High Elf wrote:> These researchers from > TU Berlin claim to be able to undermine memor

Re: Is anyone has experience with pandaboard omap4460？

Hi, On 19.12.2014 15:34, Matthias Lange wrote: > Hi, > > On 12/15/2014 12:55 PM, Andre Puschmann wrote: >> On 12/15/2014 10:53 AM, Matthias Lange wrote: >>> Hi, >>> >>> L4Re (kernel and userland) do support the OMAP4460 on the Pandaboard and >>> L4Linux/L4Android can be compiled with ARMv7 suppor

Re: L4Re GPIO

On 12/21/2014 11:36 PM, Adam Lackorzynski wrote: > On Tue Dec 16, 2014 at 16:01:02 +0700, Erry Pradana Darajati wrote: [...] >> 2. I have modified omap3 driver that included in the package to be used >> with omap4460 registers, but i have a few difficulties. There are few >> missing registers (like