<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <pre>> ><i> * Linux kernel updated to version 3.18.23
</i>>
> Great work! :)
>
>One note about the kernel version: 3.18.23 is a very unfortunate choice, as
>it contains a regression causing nondeterministic boot hangs (caused by a
>faulty backport), which is very easy to trigger on some hardware. This has
>been fixed in 3.18.24 (see [1]).

15.05.1 certainly seems to have bricked my DGND3700v1. A TTL serial<->USB
adaptor is in the post to see if I can resurrect it.

cheers, Phil
</pre>
  </body>
</html>