I wanted to get a base level of content before we open discourse to the world (share on the mailing list etc). We should probably have people assigned to monitoring it (also from CoE)?. What does everyone think?
We have had 26 topics added to the forum with 66 posts total since December.
There isn’t a lot of evidence here of what each of the different groups are working on/towards here. It would be great to see more here regarding what the overarching plans are for the different groups working on seL4 and the progress thereupon before opening it up more. May need some more discussion on how to get people to put this up.
what are you thinking? I’d like to see some of the mailing list activity merged here.