'info gdt' does not properly support 16-byte TSS entries in long mode and erroneously prints this out as a 32-bit TSS. Additionally, 'info tss' prints 32-bit TSS structures in long mode.
In long mode, some GDT types take 16 bytes (rather than the the typical 8 bytes) and neither the "bx_dbg_info_gdt_command()" function recognizes 16 byte GDT entry nor the "bx_dbg_print_descriptor()" function 'promotes' an 8 byte entry to 16 bytes when the CPU is in long mode. I believe either solution would work.
In addition, a bx_dbg_print_tss64() function does not exist to output the long mode structure of the TSS.
I am asking for long mode support to be completed in this area.
The info gdt was fixed to print long mode descriptors correctly