tree b8d257e5b63f1a47b92555e39c250fd1ba243f32
parent 17e31113db557f6fb612650c2ae86c88e284f09f
author Giulio Cervera <giulio.cervera@gmail.com> 1288346290 +0200
committer Giulio Cervera <giulio.cervera@gmail.com> 1288346290 +0200

bravo: bravoc: build kernel from source