Dear seL4 community,
It is a pleasure to announce that seL4 now has a crowdsourcing portal, using the Linux Foundation’s LFX platform. Please help making seL4 stronger by donating, and encouraging others to do the same!
https://crowdfunding.lfx.linuxfoundation.org/projects/e94c998c-bac2-4224-b0a...
Gernot