From: Diogenes <phathax0r@gmail.com>
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
Date: Fri, 13 Dec 2013 13:41:38 -0800 (PST)
Date: 2013-12-13T13:41:38-08:00 [thread overview]
Message-ID: <f91fc708-d664-4455-9b77-9dfa203dbbae@googlegroups.com> (raw)
In-Reply-To: <l87ipv$u54$1@dont-email.me>
Will this kernel function on any AMD based systems or any embedded systems (Gumstix, Rasberry Pi)?
Are there plans to port this kernel?
Are you looking for contributors?
Diogenes
next prev parent reply other threads:[~2013-12-13 21:41 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-12-10 17:25 [ANN] Muen - An x86/64 Separation Kernel for High Assurance Adrian-Ken Rueegsegger
2013-12-10 17:36 ` Jacob Sparre Andersen
2013-12-11 14:07 ` Maciej Sobczak
2013-12-11 14:46 ` Adrian-Ken Rueegsegger
2013-12-11 15:24 ` Eryndlia Mavourneen
2013-12-12 13:52 ` Marc C
2013-12-13 21:41 ` Diogenes [this message]
2013-12-13 23:30 ` Alexander Senier
2013-12-13 23:39 ` Diogenes
2013-12-14 11:25 ` Brian Drummond
2013-12-14 11:25 ` Brian Drummond
2013-12-13 23:43 ` Adrian-Ken Rueegsegger
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox