On Tue Jul 29 00:08:09 2025 +0000, Elizabeth Figura wrote:
Is there a way to account for 16-bit protected mode here? That's not implemented yet, but it hopefully will be at some point...
I suppose I could just compare against 0x07 (`SYSCALL_CS`), since these values are all hardcoded in the kernel anyway.