Re: [LinuxBIOS] #25: Clean up x86 emulator in the tree?