Searched refs:kernel_file (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/PC/ipxe/src/arch/i386/interface/syslinux/
H A Dcomboot_call.c168 static int comboot_fetch_kernel ( char *kernel_file, char *cmdline ) { argument
200 DBG ( "COMBOOT: fetching kernel '%s'\n", kernel_file );
203 if ( ( rc = imgdownload_string ( kernel_file, &kernel ) ) != 0 ) {

Completed in 43 milliseconds