Denverton CPU on FreeBSD

[Cassiano Peixoto]

Hi there,

Is someone playing with Denverton CPU On FreeBSD?

I'm trying to use serial console on FreeBSD with Denverton CPU but doesn't
work.

I can see the boot process but it stops and I do not have the login prompt.
My keyboard doesn't answer as well.

I tried it with FreeBSD 10, 11 and 12-CURRENT. Same configuration is
working with Rangeley CPU.

Any help is welcome.

Thanks.