From 5de247b016e2c548f9c9f20f407df814b8b21f70 Mon Sep 17 00:00:00 2001
From: Daniel Micay <daniel.micay@grapheneos.org>
Date: Sun, 24 Nov 2024 11:08:37 -0500
Subject: [PATCH] reorder parameters for microdroid kernel build

This makes it consistent with the other kernel builds.
---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index eaf6a585..bfbdf08b 100644
--- a/static/build.html
+++ b/static/build.html
@@ -766,7 +766,7 @@ repo sync -j8</pre>
 
                         <p>To build the 6.6 kernel image for microdroid:</p>
 
-                        <pre>tools/bazel run //common:kernel_aarch64_microdroid_dist --lto=full --config=stamp</pre>
+                        <pre>tools/bazel run //common:kernel_aarch64_microdroid_dist --config=stamp --lto=full</pre>
 
                         <p>Replace the prebuilt kernel image in the OS source tree at
                         <code>packages/modules/Virtualization/microdroid/kernel/android15-6.6/arm64/kernel-6.6</code> with your image