http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53383

--- Comment #5 from H. Peter Anvin <hpa at zytor dot com> 2012-05-17 16:09:19 
UTC ---
The point is that the key is -mno-sse, not -mcmodel=kernel.

Reply via email to