Re: some questions about l4bd.c in l4linux