summaryrefslogtreecommitdiff
path: root/firmware/lib/include/load_kernel_fw.h
diff options
context:
space:
mode:
Diffstat (limited to 'firmware/lib/include/load_kernel_fw.h')
-rw-r--r--firmware/lib/include/load_kernel_fw.h16
1 files changed, 15 insertions, 1 deletions
diff --git a/firmware/lib/include/load_kernel_fw.h b/firmware/lib/include/load_kernel_fw.h
index 96c8f864..af454703 100644
--- a/firmware/lib/include/load_kernel_fw.h
+++ b/firmware/lib/include/load_kernel_fw.h
@@ -12,10 +12,11 @@
#include "vboot_api.h"
/**
- * Attempt to load the kernel from the current device.
+ * Attempt to load kernel from the specified device.
*
* @param ctx Vboot context
* @param params Params specific to loading the kernel
+ * @param disk_info Disk from which to read kernel
*
* Returns VB2_SUCCESS if successful. If unsuccessful, returns an error code.
*/
@@ -23,4 +24,17 @@ vb2_error_t LoadKernel(struct vb2_context *ctx,
VbSelectAndLoadKernelParams *params,
VbDiskInfo *disk_info);
+/**
+ * Attempt to load miniOS kernel from the specified device.
+ *
+ * @param ctx Vboot context
+ * @param params Params specific to loading the kernel
+ * @param disk_info Disk from which to read kernel
+ *
+ * Returns VB2_SUCCESS if successful. If unsuccessful, returns an error code.
+ */
+vb2_error_t LoadMiniOsKernel(struct vb2_context *ctx,
+ VbSelectAndLoadKernelParams *params,
+ VbDiskInfo *disk_info);
+
#endif /* VBOOT_REFERENCE_LOAD_KERNEL_FW_H_ */