DO

• Use PDX as much as possible


• Use MCS when using PDX


• Make code as event-driven as possible


• Pass whole capabilities, not just pointers

DON'T

• Trust pointers and caps passed to PDX services


• Use PDX to copy large chunks of data around


• Put MCS in the kernel