On 3. August 2014 04:28:24 MESZ, stercor <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
