From b5e3a8d42d021016e4302e297f37d571b3e6c41c Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Tue, 5 Oct 2021 18:42:43 -0400 Subject: [PATCH] move kernel build repositories to correct section --- static/source.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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