On 13.11.23 09:58, Juergen Gross wrote:
On 10.11.23 19:05, Julien Grall wrote:
Hi Juergen,
On 10/11/2023 16:07, Juergen Gross wrote:
Today domain_init() is called either just before calling dom0_init()
in case no live update is being performed, or it is called after
reading the global state fr
On 10.11.23 19:05, Julien Grall wrote:
Hi Juergen,
On 10/11/2023 16:07, Juergen Gross wrote:
Today domain_init() is called either just before calling dom0_init()
in case no live update is being performed, or it is called after
reading the global state from read_state_global(), as the event
chan
Hi Juergen,
On 10/11/2023 16:07, Juergen Gross wrote:
Today domain_init() is called either just before calling dom0_init()
in case no live update is being performed, or it is called after
reading the global state from read_state_global(), as the event
channel fd is needed.
Split up domain_init(
