<p>OK, I did so now and added a few additional workarounds to get MSP430 and PIC32 compiling. If this approach is considered for including, the platform specific code can be adapted to no longer need the workarounds, which could yield some additional bytes of ROM/RAM - or none if the compiler already elides such features as functions to save and restore context.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/RIOT-OS/RIOT/pull/11226#issuecomment-475209341">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AEn7YJOul3ggBsKVRiWy5Npvw2MbwF0cks5vY3pngaJpZM4cBIql">mute the thread</a>.<img src="https://github.com/notifications/beacon/AEn7YI8gjC33mxLCkoJW7usEdbwKk973ks5vY3pngaJpZM4cBIql.gif" height="1" width="1" alt="" /></p>
<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/RIOT-OS/RIOT","title":"RIOT-OS/RIOT","subtitle":"GitHub repository","main_image_url":"https://github.githubassets.com/images/email/message_cards/header.png","avatar_image_url":"https://github.githubassets.com/images/email/message_cards/avatar.png","action":{"name":"Open in GitHub","url":"https://github.com/RIOT-OS/RIOT"}},"updates":{"snippets":[{"icon":"PERSON","message":"@maribu in #11226: OK, I did so now and added a few additional workarounds to get MSP430 and PIC32 compiling. If this approach is considered for including, the platform specific code can be adapted to no longer need the workarounds, which could yield some additional bytes of ROM/RAM - or none if the compiler already elides such features as functions to save and restore context."}],"action":{"name":"View Pull Request","url":"https://github.com/RIOT-OS/RIOT/pull/11226#issuecomment-475209341"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/RIOT-OS/RIOT/pull/11226#issuecomment-475209341",
"url": "https://github.com/RIOT-OS/RIOT/pull/11226#issuecomment-475209341",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>