Hi: Now I could boot the fiasco, l4linux and l4dope. In other words I could start to use drops system. But I want to know deep about the system especially the meanings of configuration options. In the menuconfig of fiasco kernel the help command says I could input the symbol of "?" to get the description of options. But it seems that it can't work well. Thank you. cheng
l4-hackers@os.inf.tu-dresden.de