I'm newbie on L4 microkernel, and have been confused by some questions of the L4 constructions!

Are there any avaliable Applications or Projects directly on the L4Re but not depending On L4Linux? Like gcc or other app? If existed, can we can directly bulild some application or tools after boot L4 microkernel?

Every feedbacks or documention links are appreciated! :>