Re: [tboot-devel] [PATCH] Correct IDT exception handler addresses

[Łukasz H. <lu...@ha...>]

Hi Alex

On Mon, 2022-07-11 at 13:00 -0500, Alex Olson wrote:
> # HG changeset patch
> # User Alex Olson <ale...@st...>
> # Date 1657558891 18000
> #      Mon Jul 11 12:01:31 2022 -0500
> # Node ID 0552b7ac10e28b378dd139e5ca3838039c472827
> # Parent  fa60b63892e8f9d4278950b44ed136d2b12d19cc
> Correct IDT exception handler addresses
> 
> The exception handlers configured in the IDT weren't properly executed
> during exceptions as _start/TBOOT_START are not 64K aligned (0x804000).
> 
> This revision corrects the arithmetic so that the "int_handler" routine
> gets properly executed instead of "int_handler - 0x4000".
> 
> NOTE: A simple way to test this is to insert 'asm volatile("ud2");' in begin_launch().
> 

Thank you for the patch.

Lukasz