The Ravenscar Profile and implementation issues (session summary)