Page MenuHomeFreeBSD

RISC-V: exclude reserved memory regions

Authored by mhorne on Sun, Mar 22, 6:39 PM.


Group Reviewers

Currently, there is no mechanism through which the SBI firmware can
communicate the details of its reserved memory region(s) to a supervisor
payload. There has been some discussion recently on how this can be
achieved [1], and it seems that it will happen via the device-tree, a
new set of SBI calls, or some combination of both.

This hasn't caused any issues for us yet, since we exclude all physical
memory below the kernel's load address from being allocated, and on all
currently supported platforms this covers the SBI firmware region.

OpenSBI has begun specifying its section of memory under the
"reserved-memory" device-tree property [2], which we can parse easily.
If this property is present, we know exactly which region of physical
memory the kernel should ignore.

In the case that no "reserved-memory" property is found, exclude the
lowest 2MB of memory from allocation. This isn't a perfect solution, but
it is consistent with how the currently supported platforms are set up,
allowing us to handle this case with BBL or the current release of


Diff Detail

Lint OK
No Unit Test Coverage
Build Status
Buildable 30046
Build 27857: arc lint + arc unit

Event Timeline

mhorne created this revision.Sun, Mar 22, 6:39 PM
nick added a subscriber: nick.Sun, Mar 22, 11:40 PM

Looks good to me. Thanks for this patch Mitchell!

nick accepted this revision as: nick.Sun, Mar 22, 11:42 PM
This revision is now accepted and ready to land.Sun, Mar 22, 11:42 PM
markj accepted this revision as: markj.Wed, Mar 25, 3:27 PM
markj added inline comments.

I wouldn't omit braces here, since the if and else bodies span multiple lines.