Is there a quick way to set up a PXE boot menu for booting into a number of ISO images? There's net/pxe, but it looks like only part of the solution. Ideally, there'd just be a minimal setup with a directory of ISO files and a built-in loader that lets the user choose which ISO to boot.