https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79200
--- Comment #3 from tommapson at gmx dot de --- Created attachment 40569 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40569&action=edit Kernel-Config for realtime-kernel showing the bug Used Kernel-Sources: 4.6.7 applied RT_PREEMPT-Patch 4.6.7-rt14
