Re: [seL4] x86 kernel address space side channels

On Wed, Jan 3, 2018 at 1:37 PM, Alex Elsayed wrote:

On Wed, 03 Jan 2018 20:40:23 +0000, Tom Mitchell wrote:

...

On Wed, Jan 3, 2018 at 12:22 PM Alex Elsayed wrote:

...

On Tue, 02 Jan 2018 00:50:46 +0000, Adrian.Danis wrote:

...

Hi Corey,

It is definitely an interesting problem,

I said

...

I am not sure the memory iś arbitrary as much as random...

...

I'm not sure what you mean by "random" - the proof of concept takes an

....

In addition, Intel has published a press release, claiming that this issue (counter to some claims elsewhere) does in fact affect other vendors and architectures: https://sel4.systems/lists/listinfo/devel

Thank you for the update... My hints were early and not specific. -- T o m M i t c h e l l