Re: Hardware detection in L4