[LinuxBIOS] port 80h pci board

[Carl-Daniel Hailfinger]

Shaddam Corrino IV wrote:
> PS: This below should be a nice trick to write to port 80h from user space
> 
>      printf "\001" | dd bs=1 seek=128 of=/dev/port

Great, thanks! Could you put it into the wiki?

Regards,
Carl-Daniel