Those are cross-compilers for building L4Re applications. Note that layout
and structure might change in the future.