Bug#827696: [PATCH] checkrestart: Skip hugepages files (used by qemu)

[Peter Colberg]

On Sun, Jun 19, 2016 at 09:59:21PM +0200, Axel Beckert wrote:
> I wonder if we shouldn't ignore everything under /dev/?

Indeed, please see the followup patch.

Regards,
Peter