2022-02-03 15:01:30 EST Danielle Stewart: Echo
2022-02-03 15:02:16 EST Eric Smith: yes
2022-02-03 15:27:46 EST Jerry Dussault: Nice update. Thank you.
2022-02-03 15:27:57 EST Raymond Richards: Multicore support soon?
2022-02-03 15:28:19 EST Jason Li: Summit - in person, hopefully. And in Germany, please.
2022-02-03 15:29:35 EST Michael Joseph: How close is the support for the 64-bit AM kernel and multiple VMs?
2022-02-03 15:29:38 EST Gernot Heiser: Some of this got lost in the garbling of my talk, but there's money on the table and we're working on leverabging what's thetere
2022-02-03 15:29:58 EST Gernot Heiser: This applies to AArch64 and multicore
2022-02-03 15:35:49 EST June Andronick: @Michael: as for Ray's questions, it depends if by "support" you mean code or proof. Code for Aarch64 exists. Proof is about to start! 🙂
2022-02-03 16:03:06 EST Axel Heider: Do you plan to make a pull request to the seL4/CAmkES repos with your changes? Or make an RFC about your changes?
2022-02-03 16:03:34 EST Danielle Stewart: Great talk, John!
2022-02-03 16:03:43 EST Todd Carpenter: yes, we are making an RFC for the TICS changes to CAmkES.
2022-02-03 16:03:44 EST Raymond Richards: Damn, cut off before he could quote me. I wonder what he was going to say...
2022-02-03 16:07:14 EST John Shackleton: I was going to say (if I wasn't so long winded) that we would like to pursue a possible ARINC 653 compliant schedule... Ray had mentioned A653 yesterday in his talk...
2022-02-03 16:13:27 EST Stuart Card: Rump kernels?
2022-02-03 16:23:18 EST Ihor Kuz: This looks a lot like CAmkES (or the proposed seL4 core platform). What would you say are the key differences? And what are they key challenges to do this?
2022-02-03 16:24:43 EST Ihor Kuz: That's exactly what CamkEs provides... (client server IPC)
2022-02-03 16:25:45 EST Ihor Kuz: a filesystem would be great
2022-02-03 16:26:11 EST Ammar Salman: Stuart mentioned Rump kernels
2022-02-03 16:27:05 EST Fabrizio Bertocci: Unikernels?
2022-02-03 16:27:06 EST Jonathan Gallagher: Unikernel?
2022-02-03 16:27:13 EST Stuart Card: Rump kernels from BSD, we can discuss later.
2022-02-03 16:42:59 EST Peter G Neumann: Olin Seibert
2022-02-03 16:43:13 EST Stuart Card: Hi from Critical Technologies. 😉
2022-02-03 16:43:15 EST Peter G Neumann: Seibert's name is missplet
2022-02-03 16:45:57 EST Peter G Neumann: We should consider adding SRI as a nonprofit. We have been working on trustworthy systems for over 50 years.
2022-02-03 16:48:45 EST Peter G Neumann: Does it seem odd to CCoE that most Australia. British, and Canadian researchers are not u.s. persons? and that this would caveat would logically exclude the seL4 crew.
2022-02-03 16:50:49 EST Jerry Dussault: A 5 eyes CoE would be great, but getting there may be a bureaucratic nightmare.
2022-02-03 16:51:38 EST Aleksey Nogin: How will you resolve the tension between the two principles you declared: "we want to avoid fragmentation" and "we are always happy to take content" - what is your plan on making sure the content you get from people is not just an inferior reimplementation of something that seL4 Foundation is already doing?
2022-02-03 16:53:56 EST Olin Sibert: @Peter Actually, it's Olin Sibert 🙂
2022-02-03 17:02:10 EST June Andronick: thank you all and "see" you soon!
2022-02-03 17:02:17 EST Michael Joseph: Thank you.
2022-02-03 17:02:19 EST Danielle Stewart: Thanks everyone! Great to be here this year.
2022-02-03 17:02:28 EST Greg Shannon: thank you speakers
2022-02-03 17:02:37 EST Axel Heider: Thanks everybody
2022-02-03 17:02:37 EST Jason Li: Thanks to all, it was great to see all of you here!
2022-02-03 17:02:44 EST Ihor Kuz: It was a good 4 days, and nice to "see" everyone.
2022-02-03 17:02:48 EST Olin Sibert: Thanks to all the great speakers! I look forward to seeing the slides published.
2022-02-03 17:02:55 EST Kyle Tillotson: Hope we can actually see everyone soon
2022-02-03 17:03:15 EST Todd Carpenter: Great speakers and discussion. Thanks everyone!
2022-02-03 17:03:23 EST Todd Humiston: Much thanks to all of our international participants and the various time zones they come from!! We certainly appreciate your participation and flexibility!!
2022-02-03 17:04:29 EST Todd Carpenter: Kudos to all the hard work behind the scenes, great job Griffiss Institute!