#define USER_STACK_TOP 0x00800000
#define USER_LIB_MAX 0xBC000000
#define MM_USER_MAX 0xBC000000 // Top load address for user libraries
#define USER_STACK_TOP 0x00800000
#define USER_LIB_MAX 0xBC000000
#define MM_USER_MAX 0xBC000000 // Top load address for user libraries