Re: [seL4] Scheduling of vCPUs on x86

Thanks for the deep background, Adrian. :-) On Fri, Nov 9, 2018 at 10:47 AM Adrian Danis wrote:

As the original author of the x86 model I can provide the trip down memory lane.