build error：stm32f429-disco/hello protected build error

[driftbin]

Hello,I'm facing some issues while attempting to perform a protected build on the stm32f429-disco board using the hello sample.

Here's what I have done:

• I have successfully conducted a flat build on the stm32f429-disco board and ported it successfully.

• When trying to perform a protected build on the stm32f429-disco board, I followed the instructions in HowToSupportProtectedBuild.md. I created stm32_userspace.c, stm32_userspace.h, stm32_mpuinit.h, and stm32_mpuinit.c as instructed, and I called them in the start file.

• While making Menuconfig changes, I did not see the configuration options mentioned in your file. Therefore, I manually modified the defconfig of the hello protected sample.

The problems I encountered are as follows:

• When running the code, I encountered an error in the os/arch/src/armv7-m/up_hardfault.c file:
  armv7-m/up_hardfault.c: In function 'up_hardfault': armv7-m/up_hardfault.c:180:55: error: expected identifier before '->' token (uintptr_t)pc >= (uintptr_t)sched_self()->uspace->->us_textstart && ^~ make[1]: *** [up_hardfault.o] Error 1

• After removing the extra arrow, I encountered the following error:
  armv7-m/up_hardfault.c: In function 'up_hardfault': armv7-m/up_hardfault.c:180:53: error: invalid type argument of '->' (have 'uint32_t {aka unsigned int}') (uintptr_t)pc >= (uintptr_t)sched_self()->uspace->us_textstart && ^~ armv7-m/up_hardfault.c:181:52: error: invalid type argument of '->' (have 'uint32_t {aka unsigned int}') (uintptr_t)pc < (uintptr_t)sched_self()->uspace->us_textend)) ^~ Makefile:195: recipe for target 'up_hardfault.o' failed make[1]: *** [up_hardfault.o] Error 1 make[1]: Leaving directory '/root/tizenrt/os/arch/arm/src'

What I expect to resolve:

• The aforementioned errors.
• How to display the configuration options you mentioned in Menuconfig.
• Could you provide some sample code for protected build?

Thank you.

[sunghan-chang]

@r-prabu could you check this?