summaryrefslogtreecommitdiff
path: root/firmware/lib/vboot_kernel.c
diff options
context:
space:
mode:
Diffstat (limited to 'firmware/lib/vboot_kernel.c')
-rw-r--r--firmware/lib/vboot_kernel.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c
index 2fbcaa84..87ed8747 100644
--- a/firmware/lib/vboot_kernel.c
+++ b/firmware/lib/vboot_kernel.c
@@ -167,7 +167,7 @@ int LoadKernel(LoadKernelParams* params) {
if (rec_switch)
boot_mode = kBootRecovery;
- else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags)
+ else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags) {
if (!dev_switch) {
/* Dev firmware should be signed such that it never boots with the dev
* switch is off; so something is terribly wrong. */
@@ -176,7 +176,7 @@ int LoadKernel(LoadKernelParams* params) {
goto LoadKernelExit;
}
boot_mode = kBootDev;
- else {
+ } else {
/* Normal firmware */
boot_mode = kBootNormal;
dev_switch = 0; /* Always do a fully verified boot */