* Remove an unneeded makeoption * Set machine correctly * Properly indent the include of files.tegra2
Very basic support for Nvidia Tegra2: timer, interrupts, UART. Submitted by: Damjan Marion <dmarion@freebsd.org>