commit | 0a8f37c4e0c6521d3223f1e454c7213fcba34855 | [log] [tgz] |
---|---|---|
author | Mate Toth-Pal <mate.toth-pal@arm.com> | Wed Aug 09 13:37:55 2023 +0200 |
committer | Soby Mathew <soby.mathew@arm.com> | Fri Nov 03 14:18:38 2023 +0000 |
tree | 5d8dfe1326d0029d1aa3c807a0a8e09953728f63 | |
parent | db4f2127ad0a3880a1a23daa80091c8b5786c98c [diff] |
refactor(cbmc): refactor platform specific constants - Make HOST_MEM_SIZE a build time parameter - REC AUX page sizes redefined for CBMC - MAX_REC_AUX_GRANULES should be different for CBMC builds Change-Id: I73c4886e2c7a05078e03a49d2dc83c4708bdd2be Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>