Re: [SeaBIOS] Plan to add POST memory manager (PMM) support