{{/* Copyright 2017 syzkaller project authors. All rights reserved. Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. Main page. */}} {{template "head" .Header}} syzbot {{template "header" .Header}} {{if $.Decommissioned}}

This kernel is DECOMMISSIONED

{{end}} {{template "manager_list" $.Managers}} {{range $group := $.Groups}} {{template "bug_list" $group}} {{end}}