Peter, Thank you for your answer. My mistake was to use the wrong kernel image format (Thanks Gustavo for your useful hints!) Now, I'm trying to boot OpenBSD with PXELINUX (not sure if it's possible or not). I'm going to do my homework (RTFM, Google, ...) but any pointer to the right direction will be really appreciated! Ciao, Andrea