Branden Ghena

Closing this draft PR for now, although feel free to open it again if work resumes. Created a tracking issue for WiFi support: https://github.com/tock/tock/issues/3946

We've been continuing to update this project for the new nordic SDKs at: https://github.com/lab11/nrf51-pure-gcc-setup

I like this idea

While working on the redesign: is this the time to approach how to handle multiple instantiations of a single syscall driver? Came up again in https://github.com/tock/tock/pull/3867 This could be handled...

https://github.com/tock/tock/pull/3798 feels important to me. And it'll be merged fairly soon

bors r+

The C wrapper _could_ just take five arguments though instead of a struct: ``` int yield_for_blocking(driver_num, subscribe_num, &arg1, &arg2, &arg3) { ```

There's also the question of whether it's suitable for Tock. https://github.com/tock/tock/blob/master/doc/Porting.md#is-tock-a-good-fit-for-my-hardware You should be fine on the 32-bit support. And it looks like your particular chip has 448 KB of...

Two small things for @bradjc But after that it's good to go

This is awesome! I think it's a great idea. For assigning people, should we ignore PRs that are 1) drafts or 2) marked as blocked?