Commit 5f7b9b37 authored by Committed by ROOLBrowse files
Fix OS_DynamicArea 21 handling of MaxCamEntry
OS_DynamicArea 21 was treating MaxCamEntry as if it was the exclusive upper bound, when really it's the inclusive bound. The consequence of this was that PMPs were unable to explicitly claim the highest-numbered RAM page in the system. Version 6.31. Tagged as 'Kernel-6_31'
Showing with 22 additions and 22 deletions