Re: [seL4] Scheduling of vCPUs on x86

On 9 Nov 2018, at 08:42, Jeff Waugh mailto:jdub@bethesignal.org> wrote: Out of interest, what's the reason for the different approaches? Historic. One was designed without planning for the other (time pressure), not our proudest moment(s). Things are being reworked… Gernot