6 First select the appropriate target you want.
8 For BIOS-based boot strategy:
10 $ make pc_x86_64_bios_defconfig
14 $ make pc_x86_64_efi_defconfig
16 Add any additional packages required and build:
22 The build process will create a pendrive image called sdcard.img in
25 Write the image to a pendrive:
27 $ dd if=output/images/disk.img of=/dev/sdc; sync
29 Once it's done insert it into the target PC and boot.
31 Remember that if said PC has another boot device you might need to
32 select this alternative for it to boot.
34 In the case of EFI boot you might need to disable Secure Boot from