1# The GICv3 & ITS drivers allocation needs are:
2# - LPI prop table: global 1x64K aligned on 64K
3# - LPI pend table: for each redistributor/cpu 1x64K aligned on 64K
4# - Devices table: 128x4K aligned on 4K
5# - Interrupt Collections table: 1x4K aligned on 4K
6#
7# This makes 11x64K to permit all allocations to success.
8#
9# Note, will need 64K HEAP_MEM per CPUs added.
10#
11# This doesn't necessarily include the Interrupt Translation Table, which are
12# 256bytes aligned tables, for reference a 32 ITEs table needs 256bytes.
13#
14# To permit allocating 256 ITT tables of 32 ITEs, 13x64K HEAP_MEM is needed
15CONFIG_HEAP_MEM_POOL_SIZE=851968
16