Merge pull request #83 from interwq/master

PPOS update
updated capability operations
some progress in compilation for kern.c
Draft of capability operations with some specific capability activate/deactivate

Draft of
- capability copy
- capability and pgtbl construction and deconstruction via two
  functions that include logic for both
- activate and deactivate for threads and synchronous IPC
activation code for asynchronous sending
Finished implementing the activation/deactivation for all the base capability types.

Done for:

- components -- but we may need to break this into two separate calls
  given the number of arguments required to create a component (entry
  point and shared scheduler page are the difficult part)

- invocations of all types -- synchronous invocations, asynchronous
  senders, and asynchronous receivers
Got rid of compiler errors.
Compiles, and the intial component is booted up (minus page-table setup).

This is mainly a debugging commit where I figured out the bugs to get
the kern.c running successfully.
Updates to the page-table code, and tests/debugging on the kernel
operations for constructing page-tables.
Merge branch 'ppos' of https://github.com/gparmer/Composite
Fixed a bug in the setleaf function in the page-tables.  Now we
validate that a mapping has been added in the correct location in the
page-tables.
Merge branch 'ppos' of https://github.com/gparmer/Composite
In progress...