Some fix
Add demo video of NetBSD kernel.