------- 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
------- 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