Re: [OpenBIOS] Mixing 16 and 32 bits code