FreeBSD on Toshiba AC100?

[Krassimir Slavchev]

Hello All,

Some information about this notebook:

http://uk.computers.toshiba-europe.com/innovation/generic/home-ac100/

AC100 has a 1GHz NVIDIA Tegra 250 mobile processor (built on a dual-core
ARM Cortex-A9 MPCore processor); it has 512 MB of DDR2 RAM and up to a
32 GB solid state drive for storing and sharing of files, video, photos
and music. Its wireless connectivity includes 802.11 B/G/N WLAN,
optional 3G Mobile Broadband and Bluetooth 2.1 + EDR. A single HDMI
connection is also provided for those who want to output video from the
smartbook. It also has a 1.3 megapixel webcam with microphone which
allows video chatting.

There is a modified bootloader for it which scans SD card and USB for
boot devices. I am going to find more details about the current boot
process. Also it can run UBUNTU from a SD card with a single ext3 partition.

Any hints how to load a FreeBSD kernel on it are welcome.

Best Regards