• Jeffrey Lee's avatar
    Fix OS_DynamicArea 21 handling of MaxCamEntry · 5f7b9b37
    Jeffrey Lee authored
    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'
    5f7b9b37
VersionASM 846 Bytes