Unfortunately, none of the „common methods“ for creating a Live USB workes such that my HP EliteBook 8400p would boot them. The procedure described by Jordon Mears came closest. The only technical difference is, that for some obscure reason, the machine won’t boot from anything else than FAT when it comes to USB sticks.
Here are the slightly modified steps:
- Download the ISO image
- Unmount USB
- Delete partitions on the USB
- Create one primary partition of type 0x0c (Win 95 FAT LBA) of size ??.
- Make it bootable
mkfs.vfat -n USB /dev/sdX1to create the filesystem
- Make sure syslinux, and isomd5sum are installed
livecd-iso-to-disk --overlay-size-mb 512 /path/to/iso /dev/sdX1