1. Changes from first edition

A chapter (Chapter 7. Watching time elapse) was added to describe time.

The new TimeoutArgument, allowing absolute times to be used instead of Timeout* timeouts was explained.

The Section 5.11. Enforcing sub-object bounds section was added to document how the compiler can enforce bounds on address-taken structure fields.

The Section 6.7. Using permissions on software-defined capabilities section was added to document how user-defined capabilities work and are used.