-/**\r
- Start a Linux kernel from a Device Path\r
-\r
- @param LinuxKernel Device Path to the Linux Kernel\r
- @param Parameters Linux kernel arguments\r
-\r
- @retval EFI_SUCCESS All drivers have been connected\r
- @retval EFI_NOT_FOUND The Linux kernel Device Path has not been found\r
- @retval EFI_OUT_OF_RESOURCES There is not enough resource memory to store the matching results.\r
-\r
-**/\r
-EFI_STATUS\r
-BdsBootLinuxAtag (\r
- IN EFI_DEVICE_PATH_PROTOCOL* LinuxKernelDevicePath,\r
- IN EFI_DEVICE_PATH_PROTOCOL* InitrdDevicePath,\r
- IN CONST CHAR8* Arguments\r
- );\r
-\r
-/**\r
- Start a Linux kernel from a Device Path\r
-\r
- @param[in] LinuxKernelDevicePath Device Path to the Linux Kernel\r
- @param[in] InitrdDevicePath Device Path to the Initrd\r
- @param[in] Arguments Linux kernel arguments\r
-\r
- @retval EFI_SUCCESS All drivers have been connected\r
- @retval EFI_NOT_FOUND The Linux kernel Device Path has not been found\r
- @retval EFI_OUT_OF_RESOURCES There is not enough resource memory to store the matching results.\r
-\r
-**/\r
-EFI_STATUS\r
-BdsBootLinuxFdt (\r
- IN EFI_DEVICE_PATH_PROTOCOL* LinuxKernelDevicePath,\r
- IN EFI_DEVICE_PATH_PROTOCOL* InitrdDevicePath,\r
- IN CONST CHAR8* Arguments\r
- );\r
-\r