Hi ! There seems to be a general trend towards using Clang / LLVM in the ARM area. AFAIK ARM are going LLVM for V8.
Is it viable to do seL4 work with that environment? Cheers!
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
