Hi,
L4 has great potential in the embedded arena, i hope to be able to demonstrate that by porting an entire web browser to it: already
I'm just wanting to let you know that we have done this already. You may have a look at the Live CD that we just released last week:
http://genode.org/download/live-cds
The browser is based on Arora, which uses WebKit. For the Live CD, we decided for using the OKL4 kernel but the browser runs also on L4/Fiasco (albeit no Fiasco.OC yet), L4ka::Pistachio, and Linux (running directly on top of the kernel - w/o GNU userland or glibc).
Cheers Norman