Is it mandatory to report Reserved Memory region to the OS? For example, the IOAPICs memory-mapped addresses? Would that be a problem if Linux kernel didn’t see it be claimed as RESERVED?

It seems Linuxbios doesn’t claim any memory regions as RESERVED.

gin