Dell Inspiron Micro

[Andy Ball <ball%grex.org@localhost>]

Hello,

    Has anyone tried NetBSD on the Dell Inspiron Micro Desktop?
I understand they're built around a "Bay Trail" Intel Celeron
or Pentium processor and a 32G SSD of some sort.  They look
interesting and I considered ordering one to potch with but I
don't know whether their (UEFI?) firmware is able to boot an
operating system that isn't Microsoft Windows.

-Andy Ball