diff --git a/static/source.html b/static/source.html index 1d7ef054..bc72f3f1 100644 --- a/static/source.html +++ b/static/source.html @@ -101,7 +101,6 @@
  • device_google_bonito
  • device_google_bonito-sepolicy
  • device_google_bramble
  • -
  • device_google_bramble-kernel
  • device_google_coral
  • device_google_coral-sepolicy
  • device_google_crosshatch
  • @@ -109,7 +108,6 @@
  • device_google_redbull
  • device_google_redbull-sepolicy
  • device_google_redfin
  • -
  • device_google_redfin-kernel
  • device_google_sunfish
  • device_google_sunfish-sepolicy
  • kernel_configs
  • @@ -161,8 +159,10 @@
  • branding
  • device_google_blueline-kernel
  • device_google_bonito-kernel
  • +
  • device_google_bramble-kernel
  • device_google_coral-kernel
  • device_google_crosshatch-kernel
  • +
  • device_google_redfin-kernel
  • device_google_sunfish-kernel
  • hardened_malloc
  • kernel_google_coral