simplify/cleanup code + fix x86_64 thread support (!5) · Merge requests · robigalia / rust-sel4

The source project of this merge request has been removed.

DarkFox requested to merge (removed):master into master Jul 10, 2017

Assumes Jimmy's merge request, merge that first!

WIP: Awaiting review before merging typo correction - or removal of the respective "unsafe" notes if they become obsolete.

Edited Jul 10, 2017 by DarkFox

simplify/cleanup code + fix x86_64 thread support