dejavu-font.patch
printf_fixup.patch
floatingpoint_config.patch
debugger_memory_breakpoints.patch
rjump_gcc47.patch
