Re: [LinuxBIOS] #68: Is LinuxBIOS still funded by LANL?