[[!meta title="NetBSD/evbarm on NVIDIA Tegra"]]

**The Tegra port is work in progress**

[[!toc levels=2]]


# Supported hardware
 - CPU: Cortex-A15: NVIDIA Tegra K1 (T124) (4-core)
   - VFP / NEON
   - CPU frequency scaling
 - GIC
 - ARM generic timer
 - Clock and reset controller
 - GPIO controller
 - MPIO / pinmux controller
 - Memory controller
 - Power management controller
 - I2C controller
 - UART [[!template id=man name="com" section="4"]] serial console
 - RTC
 - Watchdog timer
 - SDMMC [[!template id=man name="sdhc" section="4"]] controller
 - USB 2.0 [[!template id=man name="ehci" section="4"]] controller
 - PCI express
 - SATA [[!template id=man name="ahcisata" section="4"]] controller
 - HDMI
   - Framebuffer console
   - HDMI Audio [[!template id=man name="hdaudio" section="4"]] controller
   - HDMI CEC
 - Jetson TK1
   - On-board Realtek 8111G [[!template id=man name="re" section="4"]] gigabit ethernet 
   - EEPROM [[!template id=man name="seeprom" section="4"]] (on I2C)
   - TMP451 [[!template id=man name="titemp" section="4"]] temperature sensor (on I2C)
   - RF kill switch
   - Power button

# TODO
 - eMMC support
 - SD/MMC UHS-I support (needs [[!template id=man name="sdmmc" section="4"]] changes)
 - I2S
 - Audio codec
 - AS3722 power management unit
 - GPU (nouveau)

# Generating a boot script

[[!template  id=programlisting text="""
$ cat boot.txt
setenv bootargs root=ld1a
fatload mmc 1:1 0x90000000 netbsd.ub
bootm 0x90000000
$ mkubootimage -A arm -C none -O netbsd -T script -a 0 -n "NetBSD/tegra boot" boot.txt boot.scr
"""]]

# Links

- [NVIDIA Jetson TK1 development kit](https://developer.nvidia.com/jetson-tk1)
- [Hardware documentation](https://developer.nvidia.com/hardware-design-and-development)
- [Linux For Tegra](https://developer.nvidia.com/linux-tegra)