On Wed, Aug 14, 2013 at 06:34:48PM +0300, Andrei Andone wrote: > 1. get a git clone and switch to branch-1.12 (works with latest master too) "master" is a better choice. We are not going to release 1.12; instead we are planning to branch 2.0 from master soon. (Someone else will have to figure out the kernel panic.)