acrn-kernel/arch/arm64/boot/dts/toshiba
..
Makefile
tmpv7708-rm-mbrc.dts
tmpv7708.dtsi
tmpv7708_pins.dtsi