[PATCH v2] sb: Fix the RTEMS options after strict option checking was added.

[Chris Johns]

On 22/1/19 5:24 pm, Sebastian Huber wrote:
> 
> Thanks, this works. See v2 of the default prefix patch.
> 

Both are OK to push.

Thanks
Chris