configs: stm32mp15: enable IPCC mailbox
authorFabien Dessenne <fabien.dessenne@st.com>
Tue, 14 May 2019 09:20:36 +0000 (11:20 +0200)
committerPatrick Delaunay <patrick.delaunay@st.com>
Fri, 12 Jul 2019 09:18:53 +0000 (11:18 +0200)
commit8da622d81828de13376d9b5afbcab48fb3eae957
tree64e2311b26d0251e4a15730d37fc67833f328001
parentb04553ec9a00d70fe774c63bbb2c0f78a8df050a
configs: stm32mp15: enable IPCC mailbox

Activate the ipcc mailbox for stm32mp15 configs.

Signed-off-by: Fabien Dessenne <fabien.dessenne@st.com>
Reviewed-by: Patrice Chotard <patrice.chotard@st.com>
configs/stm32mp15_basic_defconfig
configs/stm32mp15_trusted_defconfig