sand7000

Applying the changes in the above diff file worked for me but I am having am still having an issue sending a DTLSRecord: ``` server_address = (dest_ip, dest_port) sock =...

It looks like the issue is not with the encoding. There is a length field that is incorrect in the DTLS portion of the packet so somewhere a calculation went...

I found this: https://renode.io/news/armv8-a-support-in-renode/ which I think explains why this isn't working yet: > The addition of ARMv8-A support in Renode opens up a world of possibilities and use cases...

When I added the changes to your fork I saw successful boot like this: ``` ## Starting application at 0x20000000 ... Bootstrapping kernel available phys memory regions: 1 [10000000..f8000000] reserved...

> Hey @sand7000, any luck? Let me know if I can help in any way. Sorry for delayed response, I have been traveling and busy on another project. I think...

Hey Ivan, This seems to be the same issue I asked you about here: https://sel4.discourse.group/t/microchip-polarfire-icicle-kit-status/675/24 I thought we had this one licked based on your helpful instructions but I am...