Hi AlessandroA,
ARM’s Semihosting feature is not enabled in this case. and for debugging prints we are using UART. and coming to platform ours is a own in house platform.
Here are the debug UART prints for reference.
debug
uvisor_mode: 2
uvisor_ram : @0x00140200 (8192 bytes) [config]
(0x00140200 (8192 bytes) [linker]
MPU.REGIONS=8
MPU.ALIGNMENT=0x0000001F
MPU.ALIGNMENT_BITS=5
box stack segment start=0x00142200 end=0x00142200 (length=3584)
box[0] acl[00]={0x00100000,size=44864,acl=0x000000BF,rounded=65536}
box[0] acl[00]={0x00140000,size=262144,acl=0x000000BF,rounded=262144}
box[0] acl[00]={0xE0000000,size=1048575,acl=0x000000BF,rounded=1048576}
box[0] ACL list:
ctx=0 stack=0
box[0] acl[00]={0x40004000,size=04096,acl=0x00000AB6,rounded=04096}
box[0] acl[01]={0x40082000,size=04096,acl=0x00000AB6,rounded=04096}
box[1] ACL list:
box[1] stack=1024 context=17 rounded=2048
box[1] acl[02]={0x00142800,size=02048,acl=0x02000076,rounded=02048}
vmpu_load_boxes [DONE]
uvisor initialized
InitIRQ 3 registered to box 0
IRQ 3 enabled
***** uvisor-helloworld example *****
main unprivileged box configured
HARD FAULT
-
HFSR : 0x00000000
-
EXCEPTION STACK FRAME
Exception from privileged code
Cannot print exception stack frame.
-
MPU CONFIGURATION
Background region enabled
MPU bypassed @NMI, @HardFault
MPU enabled
Region Start Size XN AP TEX S C B SRD Valid
0 0x00100000 064KB 0 110 000 0 0 0 00000000 1
1 0x00140000 256KB 0 110 000 0 0 0 00000000 1
2 0xE0000000 001MB 0 110 000 0 0 0 00000000 1
3 0x40004000 004KB 1 110 000 0 0 0 00000000 1
4 0x40082000 004KB 1 110 000 0 0 0 00000000 1
5 0x00000000 000B 0 000 000 0 0 0 00000000 0
6 0x00000000 000B 0 000 000 0 0 0 00000000 0
7 0x00000000 000B 0 000 000 0 0 0 00000000 0