----- Исходное сообщение -----
> I'm currently stuck on building due to the ipcmon subproject and a
> "__sprintf_chk" error under Ubuntu 12.04:
>
>
...
> Dustin

You can use Debian 5.0 'Lenny' to compile l4env, all builds fine here. Personally, I made a chrooted installation of Lenny in my Ubuntu. You can create it easily using 'debootstrap' script.

WBR,
valery