Address ranges backed by memory #164
Description
In our current FS configs, we claim that the whole range of 0 to mem_size is backed by memory, where as there are some (small) ranges (besides 3GB to 4GB reserved for IO) that are reserved for device specific features. For example, 0xC0000 is what kernel assumes the VGA rom to be located at by default (unless extended by ROM expansion BAR).
Creating a hole in our address range breaks several things in the code as we use mem_ranges in many other places (e.g. to create memory controllers etc.) and the code we have to merge the address ranges does not like the hole and would break on that. Point being, it's not gonna be simply adding a hole to the address range.
As @powerjg mentioned, we probably want to look at how it's done in real systems and provide similar functionality.
The way I have it currently implemented (on my local branch) is to add the small range to my check (for timing) and go to pio.