21 Mar
2015
21 Mar
'15
12:02 a.m.
Well great to receive such info and encouragement. :) Yup, I am very aware of what's happening on the Qubes end with R3 HAL, etc. And thanks for the status overview on the components. That gives me a better sense of things. I'm going to start playing with seL4 on my machine soon, and will orient myself further with things in the seL4 project. Also saw that x64 support has been worked on, but maybe not not currently active. I am continuing to position things for a future micro-Qubes-like project of this kind, with dev funding associated. So something will probably happen on my end in the future that may end up complimenting or integrating with the current work on seL4. Thanks! WhonixQubes