== Progress == * FDPIC - Setting up new stm32f429-disc1 board. Boots OK with buildroot's default 4.11 kernel. Boot seems to fail starting with 4.13 (recent kernel needed to have FDPIC support)

* GCC upstream validation: - reported a few regressions

* GCC: - (GNU-99) ubsan / bare-metal. No progress.

* misc (conf-calls, meetings, emails, ....) - reviewing infra script patches - adding qemu as a toolchain component supported by ABE. A bit convoluted because of manifest handling.

== Next == FDPIC: - GCC: handle feedback on v4 patches - GDB: update patches - uclibc-ng: look at how to test fdpic mode with openadk - complete board setup

Infra: - benchmarking jobs - add QEMU to list of components built by ABE