I don't have a machine at hand that I can rebuild the kernel on, but I agree that setting PCB_FULL_IRET should fix the problem. RussReceived on Tue Sep 24 2013 - 03:43:50 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:41 UTC