TImada

This is my initial implementation to add aarch32 as an architecture supported by Solo5/spt. I have a note describing changes I have done for this implementation at https://github.com/TImada/rtos/tree/master/solo5_spt_aarch32#remarkable-changes.

aarch32 support

1

This modification is required to add aarch32 as an architecture supported by Solo5, and related to the pull request at https://github.com/Solo5/solo5/pull/470.

This is small modification to support the aarch32 architecture by Solo5. Related pull requests can be found at https://github.com/Solo5/solo5/pull/470 and https://github.com/mirage/ocaml-freestanding/pull/78.