> I was just wondering why you don't use the -mno-red-zone gcc option as > you create a kernel module for x86_64. Probably because it didn't exist at the time the port was initially done, but I don't remember for sure.