Adding more information on your environment (platform, tools) could help. Such kind of compilation issues might have many root causes.
Is your installation correctly compiling other STM32MP1 projects ? if not maybe check again SW4STM32 installation (https://wiki.st.com/stm32mpu/wiki/STM32-CoPro-MPU_plugin_release_note).
Try to remove and re-import again the example project in SystemWorkbench.
In order to give better visibility on the answered topics, please click on 'Best Answer' on the reply which solved your issue or answered your question.Tip of the day: Try Sidekick STM32 AI agent
Hello, I using a virtual machine with Ubuntu 18.04.2, I use install_sw2stm32_linux_64bits-V2.9.run to install Workbench and en.stm32cubemp1_v1-0-0.zip to install libraries and examples, my board is STM32MP157C-DK2
I try to import and compile GPIO_EXTI example but I get a lot of errors too, for example:
.../STM32Cube_FW_MP1_V1.0.0/Drivers/STM32MP1xx_HAL_Driver/Src/stm32mp1xx_hal.c: 817:66: error: unknown type name 'uint32_t'