Re: [SeaBIOS] [PATCH 3/4] Switch from array based resource allocation to list