Make sure that the sancus examples can be compiled with the SLLVM-based toolchain

[hanswinderix]

No description provided.

[jovanbulck]

@hanswinderix I realize this never got merged and is probably horribly outdated by now? I'd say it looks like the existing sancus-compiler and sllvm will continue to co-exist at least for the foreseeable time.

Do you plan to continue supporting the sancus-examples compilation with sllvm? If so, I think it'd make sense to add an entry to the Github Actions Workflow matrix so every example is automatically built and ran with both sancus-compiler and sllvm? Do you think this works with your current version of sllvm, or is this simply not something you'd want to support at the moment?

[hanswinderix]

I have been syncing the SLLVM forks of sancus-examples and sancus-support regulary for more than one year with the upstream versions, but eventually stopped doing this because of the overhead involved and the plans to port Sancus from MSP430 to RISC-V. I have been told that a master thesis student is going to work on this port. This would be a good opportunity to base the RISC-V Sancus compiler on SLLVM instead of the legacy toolchain.

[jovanbulck]

makes sense. thanks for clarifying!

Let's simply leave this PR open for now then.