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