[master 12:16 2013/9/30]

- New kernel functions