Merge branch 'master' into userspace
Merge branch 'userspace' of https://github.com/via/akaris-ng into userspace
Merge branch 'userspace' of https://github.com/via/akaris-ng into userspace
Merge branch 'userspace' of https://github.com/via/akaris-ng into userspace
Initial skeleton for thread/scheduler.