3 Aug
2014
3 Aug
'14
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