configs: stm32f746-disco: Fix stm32f746-disco boot
authorPatrice Chotard <patrice.chotard@st.com>
Mon, 26 Nov 2018 12:42:32 +0000 (13:42 +0100)
committerTom Rini <trini@konsulko.com>
Fri, 7 Dec 2018 04:26:30 +0000 (23:26 -0500)
commit16462a35728039aa173a02982643c551dc94ba20
treeccea29d9c295405fee8fc9f202d8bda66cafb97e
parent2cb132ad2b466f000d5f97ef392d071bbfc28442
configs: stm32f746-disco: Fix stm32f746-disco boot

Since commit 8f651ca60ba1 ("pinctrl: stm32: Add get_pins_count() ops")
stm32f746-disco can't boot.

This is due to new memory allocation into STM32 pinctrl driver,
increase SYS_MALLOC_F_LEN from 0xC00 to 0xE00.

Signed-off-by: Patrice Chotard <patrice.chotard@st.com>
configs/stm32f746-disco_defconfig