Time: Wed 3:15 PM 17 Sep -0700 (America/Los_Angeles)
Final
Location: Turbo Room
Several kconfig improvements are needed to make Xen safety certifiable. In addition, we need to enable safety monitors call such as listing domains. How do we go about it?