Christophe Leroy's on April 6, 2020 3:44 am: > syscall_64.c will be reused almost as is for PPC32. > > Rename it syscall.c Don't mind this, but I wonder if we can rename it to interrupt.c. A system call is a type of interrupt. Thanks, Nick