Binary: switch-pxe-menu

Debian packages that has this binary:

Package: drbl

/usr/share/drbl/sbin/switch-pxe-menu

Random binary cloud:

tee rfcat ebfont ewfinfo ps2pdf13 mpicc interdiff ati_draw_buffers-arbfp-no-index rpmgraph xemacs-nox echomixer vegrep browser-history find_libs eric5_doc eric5_webbrowser gchemcalc live-partial-squashfs-updates mythtv-status oar_phoenix osgtexturerectangle psi-plus-webkit simsearch preline tree_recon abo svnraisetreeconflict t_coffee FeatureLinkerLabeled gpicslice