What do you think about adapting L4 (and Fiasco) to use autoconf? The most important immediate benefits are the possibility of using a separate build directory and configuration options. And it would be more compatible with GNU build mechanisms. If you think that is a good idea I could be voluntary to make necessary changes.