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.
