On May 22, 2023, at 07:58, Pedro Miguel Justo <pmsjt@texair.net> wrote:
This is great! I am definitely going to try building my Itanium kernels from Arm64 now.
Linux debian 6.3.0-0-mckinley #1 SMP Debian 6.3.2-1~exp1 (2023-05-15) ia64 GNU/Linux