diff --git a/static/source.html b/static/source.html index 166ad9c0..80518823 100644 --- a/static/source.html +++ b/static/source.html @@ -96,6 +96,7 @@
  • device_google_bonito
  • device_google_bonito-sepolicy
  • device_google_bramble
  • +
  • device_google_bramble-kernel
  • device_google_coral
  • device_google_coral-sepolicy
  • device_google_crosshatch
  • @@ -103,6 +104,7 @@
  • device_google_redbull
  • device_google_redbull-sepolicy
  • device_google_redfin
  • +
  • device_google_redfin-kernel
  • device_google_sunfish
  • device_google_sunfish-sepolicy
  • kernel_configs