Yes is segfaults just after flash-kernel is run without any reboot. Rebooting solves the segfault issue.
On Tue, Aug 4, 2015 at 7:04 PM Martin Michlmayr <t...@cyrius.com> wrote: > Are you saying the segfaults started after flash-kernel was run? > Without rebooting to the new kernel? > > -- > Martin Michlmayr > http://www.cyrius.com/ > -- Michele Cane, Ph.D.