netbsd i386 works with vortex86mx processor

[Topiarz <topiarz%post.cz@localhost>]

Hi folks,
while current Linux supports mainly i686 only (and that
makes it not start kernel on vortex86), the NetBSD support
for i486 is enough to bring machines with vortex86 CPU to
life. I bought one for a mail server and another one as a
musicbox with mpd. however I tested it with X and it worked
flawlessly, I was able to install gnome2 full desktop and
use it  (I could even watch avis and xvids, though it was
too slow for flash) on a 993Mhz vortex86mx. Thanks for your
marvelous work.
Petr Topiarz aka Kolaloka

here is dmesg:
Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002,
2003, 2004, 2005,
    2006, 2007, 2008, 2009, 2010, 2011, 2012
    The NetBSD Foundation, Inc.  All rights reserved.
Copyright (c) 1982, 1986, 1989, 1991, 1993
    The Regents of the University of California.  All rights
reserved.

NetBSD 6.1.4 (GENERIC)
total memory = 511 MB
avail memory = 490 MB
timecounter: Timecounters tick every 10.000 msec
timecounter: Timecounter "i8254" frequency 1193182 Hz
quality 100
Generic PC
mainbus0 (root)
acpi_probe: failed to initialize tables
cpu0 at mainbus0: Vortex86MX, id 0x586
pci0 at mainbus0 bus 0: configuration mode 1
pci0: i/o space, memory space enabled, rd/line, rd/mult,
wr/inv ok
pchb0 at pci0 dev 0 function 0: vendor 0x17f3 product 0x6021
(rev. 0x02)
rdcpcib0 at pci0 dev 7 function 0: vendor 0x17f3 product
0x6036 (rev. 0x00)
rdcpcib0: watchdog timer configured.
vte0 at pci0 dev 8 function 0: vendor 0x17f3 product 0x6040
(rev. 0x00)
vte0: Ethernet address 00:1b:eb:62:a6:34
vte0: interrupting at irq 5
rdcphy0 at vte0 phy 1: R6040 10/100 media interface, rev. 1
rdcphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
ohci0 at pci0 dev 10 function 0: vendor 0x17f3 product
0x6060 (rev. 0x12)
ohci0: interrupting at irq 9
ohci0: OHCI version 1.0, legacy support
usb0 at ohci0: USB revision 1.0
ehci0 at pci0 dev 10 function 1: vendor 0x17f3 product
0x6061 (rev. 0x03)
ehci0: interrupting at irq 9
ehci0: BIOS has given up ownership
ehci0: EHCI version 1.0
ehci0: companion controller, 2 ports each: ohci0
usb1 at ehci0: USB revision 2.0
ohci1 at pci0 dev 11 function 0: vendor 0x17f3 product
0x6060 (rev. 0x12)
ohci1: interrupting at irq 9
ohci1: OHCI version 1.0, legacy support
usb2 at ohci1: USB revision 1.0
ehci1 at pci0 dev 11 function 1: vendor 0x17f3 product
0x6061 (rev. 0x03)
ehci1: interrupting at irq 9
ehci1: BIOS has given up ownership
ehci1: EHCI version 1.0
ehci1: companion controller, 2 ports each: ohci1
usb3 at ehci1: USB revision 2.0
rdcide0 at pci0 dev 12 function 0: RDC IDE controller (rev.
0x01)
rdcide0: bus-master DMA support present
rdcide0: primary channel configured to compatibility mode
rdcide0: primary channel interrupting at irq 14
atabus0 at rdcide0 channel 0
rdcide0: secondary channel configured to compatibility mode
rdcide0: secondary channel interrupting at irq 15
atabus1 at rdcide0 channel 1
vga1 at pci0 dev 13 function 0: vendor 0x17f3 product 0x2010
(rev. 0x00)
wsdisplay0 at vga1 kbdmux 1: console (80x25, vt100 emulation)
wsmux1: connecting to wsdisplay0
drm at vga1 not configured
hdaudio0 at pci0 dev 14 function 0: HD Audio Controller
hdaudio0: interrupting at irq 10
hdafg0 at hdaudio0: Realtek ALC262
hdafg0: DAC00 2ch: Speaker [Jack]
hdafg0: ADC01 2ch: Mic In [Jack]
hdafg0: 2ch/2ch 44100Hz 48000Hz 96000Hz 192000Hz PCM16 PCM20
PCM24 AC3
audio0 at hdafg0: full duplex, playback, capture, independent
isa0 at rdcpcib0
pckbc0 at isa0 port 0x60-0x64
pckbd0 at pckbc0 (kbd slot)
pckbc0: using irq 1 for kbd slot
wskbd0 at pckbd0: console keyboard, using wsdisplay0
attimer0 at isa0 port 0x40-0x43
pcppi0 at isa0 port 0x61
midi0 at pcppi0: PC speaker
sysbeep0 at pcppi0
isapnp0 at isa0 port 0x279
npx0 at isa0 port 0xf0-0xff
npx0: reported by CPUID; using exception 16
attimer0: attached to pcppi0
isapnp0: no ISA Plug 'n Play devices found
timecounter: Timecounter "clockinterrupt" frequency 100 Hz
quality 0
uhub0 at usb0: vendor 0x17f3 OHCI root hub, class 9/0, rev
1.00/1.00, addr 1
uhub0: 2 ports with 2 removable, self powered
uhub1 at usb1: vendor 0x17f3 EHCI root hub, class 9/0, rev
2.00/1.00, addr 1
uhub1: 2 ports with 2 removable, self powered
uhub2 at usb2: vendor 0x17f3 OHCI root hub, class 9/0, rev
1.00/1.00, addr 1
uhub2: 2 ports with 2 removable, self powered
uhub3 at usb3: vendor 0x17f3 EHCI root hub, class 9/0, rev
2.00/1.00, addr 1
uhub3: 2 ports with 2 removable, self powered
uhidev0 at uhub0 port 2 configuration 1 interface 0
uhidev0: vendor 0x1267 PS/2+USB Mouse, rev 1.10/51.15, addr
2, iclass 3/1
ums0 at uhidev0: 3 buttons and Z dir
wsmouse0 at ums0 mux 0
wd0 at atabus1 drive 0
wd0: <WDC WD2500BPVT-00ZEST0>
wd0: drive supports 16-sector PIO transfers, LBA48 addressing
wd0: 232 GB, 484521 cyl, 16 head, 63 sec, 512 bytes/sect x
488397168 sectors
wd0: 32-bit data port
wd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 6
(Ultra/133)
wd0(rdcide0:1:0): using PIO mode 4, DMA mode 2, Ultra-DMA
mode 2 (Ultra/33) (usng DMA)
Kernelized RAIDframe activated
boot device: wd0
root on wd0a dumps on wd0b
root file system type: ffs
wsdisplay0: screen 1 added (80x25, vt100 emulation)
wsdisplay0: screen 2 added (80x25, vt100 emulation)
wsdisplay0: screen 3 added (80x25, vt100 emulation)
wsdisplay0: screen 4 added (80x25, vt100 emulation)