On Tue, Jun 23, 2020 at 1:44 AM Nadav Amit <namit@xxxxxxxxxx> wrote: > > Currently, the BSP's segment selectors are not initialized in 32-bit > (cstart.S). As a result the tests implicitly rely on the segment > selector values that are set by the BIOS. If this assumption is not > kept, the task-switch test fails. > > Fix it by initializing them. > > Signed-off-by: Nadav Amit <namit@xxxxxxxxxx> Reviewed-by: Jim Mattson <jmattson@xxxxxxxxxx>