Skeleton code for tcaps
initial tcap stuff
Merge pull request #45 from jkaivo/tcap

Tcap
Merge branch 'tcaps' of github.com:gparmer/Composite into tcaps
tcap updates
refine the tcap structure
updates on the tcap code that does NOT compile
tcap updates
Merge remote branch 'upstream/master' into tcap
Merge remote branch 'upstream/tcaps' into tcap
compilation fixes
Merge pull request #46 from jkaivo/tcap

compilation fixes
Merge branch 'tcaps' of github.com:gparmer/Composite into tcaps
full compilation, first draft.  Next up, fix inv.c
some tcap documentation
Tcaps main operations completed, but NOT tested.

Delegation, transfer, deletion, and splitting.  They are not yet
integrated with user-level scheduler code yet.

TODO:
- Add support into src/components/sched/cos_sched_base.c to the tcaps.
- Add the fountain of time that auto-replenishes the tcap root(s).
- Add proper consumption of time on timer-ticks and thread switches.
- Test tracking of budget/priority/expiration.
- Add delegation and tcap activation into the cos_switch_thread sys-call.
Added the cos_tcap_thd_cntl system call and associated operations.
These enable schedulers to set up a tcap for delegation, and to
activate a tcap on a specific thread (especially useful for interrupt
threads).
tcaps: fixed the delegation
Tcaps: Added accounting for time passage on timer ticks and brands.
tcaps:  this updates tcap budgets on thread switch...already