Trouble getting the examples to run on sonata hardware

[wbeasley-thegoodpenguin]

Hi.

I've been trying to get any of the examples to run on my sonata board. At the moment if i configure with xmake config --board=sonata --sdk=/cheriot-tools/ --debug-SNTP=y --debug-TCPIP=y then I get:

bootloader: Sonata system git SHA: 6e54069435f1279d
bootloader: Selected software slot: 2
bootloader: Loading software from flash...
bootloader: Booting into program, hopefully.
TCP/IP Stack startup: Initialising network adaptor
TCP/IP Stack startup: Output function: 0x4000ab1c (v:1 0x4000a600-0x4001bc00 l:0x11600 o:0x0 p: G R-cgm- X- ---)
TCP/IP Stack startup: Setting up endpointIPv4
ip_thread_entry
Sleeping until the IP task is supposed to start
FreeRTOS_AddEndPoint: MAC: ba-3d IPv4: c0a801f8ip
NTP Client: Creating socket with malloc capability: 0x105687 (v:1 0x105678-0x105698 l:0x20 o:0xc p: G RWcgm- -- ---)
Network stack wrapper: Failed to bind socket.
Network stack wrapper: Failed to close socket (invalid socket).
NTP Client: Created socket 0x0 (v:0 0x0-0x0 l:0x0 o:0x0 p: - ------ -- ---)
Network test: Failed to update NTP time
NTP Client: Creating socket with malloc capability: 0x105687 (v:1 0x105678-0x105698 l:0x20 o:0xc p: G RWcgm- -- ---)
Network stack wrapper: Failed to bind socket.
Network stack wrapper: Failed to close socket (invalid socket).
NTP Client: Created socket 0x0 (v:0 0x0-0x0 l:0x0 o:0x0 p: - ------ -- ---)
Network test: Failed to update NTP time

On loop. I thought if I force disable ipv6 id get something different:
xmake config --board=sonata --sdk=/cheriot-tools/ --debug-SNTP=y --debug-TCPIP=y --IPv6=false
I get:

TCP/IP Stack startup: Initialising network adaptor
TCP/IP Stack startup: Output function: 0x4000a504 (v:1 0x4000a000-0x40017600 l:0xd600 o:0x0 p: G R-cgm- X- ---)
TCP/IP Stack startup: Setting up endpointIPv4
ip_thread_entry
Sleeping until the IP task is supposed to start
FreeRTOS_AddEndPoint: MAC: 9e-cf IPv4: c0a801f8ip
TCP/IP Stack startup: Kicking IP stack
FreeRTOS_IPInit_Multi: Network event queue could not be created
TCP/IP Stack startup: Failed to initialize IP stack

Then there's no further output.

The setup is further complicated as this board is in the capable hub board farm, but dsnmasq should be providing an ipv4 ip via dhcp. I've run wireshark on this adapter and I'm not seeing anything requests come through

[davidchisnall]

Sorry, this should be fixed by CHERIoT-Platform/cheriot-rtos#702

[davidchisnall]

More detail for the record:

The initial problem was that memory allocation was always failing in the TCP/IP compartment. This was because the macros that generated the malloc capability were incorrect and were generating an unsealed object. The allocator was then rejecting this.

Either the RTOS's use of the cheriot_sealed attribute, or the compiler's implementation in the case of extern variables, was incorrect. This was hidden by the fact that we didn't use these macros in C++ code because the compiler didn't advertise them there (compiler bug). The initial fix simply disables them and uses the older inline-assembly approach everywhere. This will be followed up with a real fix.