------- Comment #23 from yipiha2008 at gmail dot com  2009-11-20 14:16 -------
Forget #22, as expected it does not work (kernel compiled with a patched GCC as
per #22 does not boot)


-- 


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

Reply via email to