Skip to content
  • Philippe Gerum's avatar
    x86: ipipe: share context switch code with head domain · f30354d2
    Philippe Gerum authored
    This change enable a co-kernel to change the address space of a task
    using the common mm helpers. This is mainly a matter of strictly
    serializing context switching code among all callers regardless of
    their domain (head/root), by disabling hard irqs.
    f30354d2