On Sun, Mar 02, 2014 at 06:19:57PM +0100, Adriano Verardo wrote:
> Hi, all
> 
> The Bell usb image doesn't boot on some (IMHO) very common machines.
> Screenshots available on
> 

you could just try adding the did to /sys/src/9/pc/sdiahci.c:1939 and
recompile a new kernel.

maybe it will work, maybe it wont. only the people with the hardware can
test it.

also, it looks like that chipset might be affected by the intel cougar
point bug.