Re: [OpenBIOS] dir command bug report