diff --git a/static/source.html b/static/source.html index 48d46fae..8ab75865 100644 --- a/static/source.html +++ b/static/source.html @@ -96,13 +96,11 @@
  • device_google_bonito
  • device_google_bonito-sepolicy
  • device_google_bramble
  • -
  • device_google_bramble-sepolicy
  • device_google_coral
  • device_google_coral-sepolicy
  • device_google_crosshatch
  • device_google_crosshatch-sepolicy
  • device_google_redfin
  • -
  • device_google_redfin-sepolicy
  • device_google_sunfish
  • device_google_sunfish-sepolicy
  • kernel_configs