os/kernel/binary_manager: Add validation for in-use BP kernel addresses

Add new function `binary_manager_is_bp_kernel_address_valid` to validate in-use BP's kernel addresses against registered partition addresses.
If in-use BP's kernel address is wrong, binary_manager should recover BP from partition information.

Signed-off-by: seokhun-eom <seokhun.eom@samsung.com>

Author: seokhun-eom24

os/kernel/binary_manager/binary_manager_bootparam.c

@@ -364,6 +364,41 @@ int binary_manager_write_bootparam(binmgr_bpdata_t *bp_data)
 	return binary_manager_write_bootparam_to_slot(bp_data, g_bp_info.inuse_idx ^ 1);
 }
 
+/****************************************************************************
+ * Name: binary_manager_is_bp_kernel_address_valid
+ *
+ * Description:
+ *	 This function checks whether in-use BP kernel addresses are valid
+ *   against registered partition addresses.
+ *
+ ****************************************************************************/
+static bool binary_manager_is_bp_kernel_address_valid(binmgr_bpdata_t *bp_data)
+{
+	uint32_t part_idx;
+	binmgr_kinfo_t *kdata;
+
+	if (!bp_data) {
+		bmdbg("BP data is NULL\n");
+		return false;
+	}
+
+	kdata = binary_manager_get_kdata();
+	if (!kdata || kdata->part_count == 0 || kdata->part_count > BOOTPARAM_COUNT || !kdata->part_info) {
+		bmdbg("Invalid kernel partition data\n");
+		return false;
+	}
+
+	for (part_idx = 0; part_idx < kdata->part_count; part_idx++) {
+		if (bp_data->head.address[part_idx] != kdata->part_info[part_idx].address) {
+			bmdbg("Invalid in-use BP kernel address: part[%u] BP 0x%x, partition 0x%x\n",
+					part_idx, bp_data->head.address[part_idx], kdata->part_info[part_idx].address);
+			return false;
+		}
+	}
+
+	return true;
+}
+
 /****************************************************************************
  * Name: binary_manager_is_set_mismatch
  *
@@ -641,6 +676,11 @@ int binary_manager_check_bootparam_set(void)
 		return BINMGR_OPERATION_FAIL;
 	}
 
+	if (!binary_manager_is_bp_kernel_address_valid(bp_data)) {
+		bmdbg("Invalid in-use BP kernel address detected. Run BP recovery from partition information\n");
+		return BINMGR_OPERATION_FAIL;
+	}
+
 	bmdbg("BP set is already aligned and active set %s is valid\n", GET_PARTNAME(bp_data->head.active_idx));
 	return BINMGR_OK;
 }