3 Aug
2014
3 Aug
'14
12:28 p.m.
Has there been any seL4 development effort for the ArchLinux or Manjaro platforms? -- GPG/PGP public key: B07F9AAE
3 Aug
3 Aug
4:22 p.m.
On 3. August 2014 04:28:24 MESZ, stercor <stercor@yahoo.com> wrote:
Has there been any seL4 development effort for the ArchLinux or Manjaro platforms?
...sorry for the noise, but can you explain a bit what do you mean with "sel4 development" on ArchLinux? best regards, Niels. Syndicat IT & Internet http://www.syndicat.com -- Niels Dettenbach Syndicat IT&Internet http://www.syndicat.com
3857
Age (days ago)
3857
Last active (days ago)
1 comments
2 participants
participants (2)
-
Niels Dettenbach (Syndicat IT&Internet) -
stercor