Support for IPMI System Boot Options commands

[Paulo]

Hi,

I´m a newbie with respect to using CoreBoot and the seaBIOS payload. Can
someone inform if SeaBIOS has support for IPMI System Boot Options commands
?

Rgds,

http://www.padtec.com.br/imagens/logo_mail.png

http://www.padtec.com.br/imagens/seta_mail.png

Paulo Roberto F. de A. Luz

Technology Engineer – Embedded Platform
  [e-mail]  pluzluz,paulo
[phone] / 9191 1402 
 http://www.padtec.com/ www.padtec.com

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * 
Esta mensagem e seus anexos contêm informações confidenciais direcionadas
exclusivamente a seus
destinatários. Por favor, não a encaminhe ou remeta a terceiros. Caso tenha
recebido este e-mail por engano
informe-nos imediatamente respondendo ao mesmo e em seguida apague-o de seu
sistema.

This message and any attachment to it contains confidential information
exclusively for the recipients. Please
do not forward or distribute it to anyone else. If you have received this
e-mail in error, please inform us immediately
by answering it and then delete this message from your system.

Este mensaje y cualquier anexo a él contienen información confidencial
exclusivamente para los destinatarios.
Por favor no distribuir o reenviar a cualquier persona. Si usted ha recibido
este e-mail por error, infórmenos
inmediatamente contestandolo y después suprima este mensaje de su sistema 
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * *