1e929f4f4d24b30cee99eff135661a71  kernelsource.dsl