##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Sourced file that sets up TinyOS environment, with per-user persistence
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Sourced file that sets up TinyOS environment, with per-user persistence