Re: How L4Linux Linked the header file?