1#!/bin/sh
2#
3# Copyright (C) 2010-2013 OpenWrt.org
4#
5
6SOCFPGA_BOARD_NAME=
7SOCFPGA_MODEL=
8
9socfpga_board_detect() {
10	local machine
11	local name
12
13	machine=$(cat /proc/device-tree/model)
14
15	case "$machine" in
16	"Terasic SoCkit")
17		name="socfpga-sockit"
18		;;
19	*)
20		name="generic"
21		;;
22	esac
23
24	[ -z "$SOCFPGA_BOARD_NAME" ] && SOCFPGA_BOARD_NAME="$name"
25	[ -z "$SOCFPGA_MODEL" ] && SOCFPGA_MODEL="$machine"
26
27	[ -e "/tmp/sysinfo/" ] || mkdir -p "/tmp/sysinfo/"
28
29	echo "$SOCFPGA_BOARD_NAME" > /tmp/sysinfo/board_name
30	echo "$SOCFPGA_MODEL" > /tmp/sysinfo/model
31}
32
33socfpga_board_name() {
34	local name
35
36	[ -f /tmp/sysinfo/board_name ] || socfpga_board_detect
37	[ -f /tmp/sysinfo/board_name ] && name=$(cat /tmp/sysinfo/board_name)
38
39	# Name is too generic, use model
40	if [ "$name" = "altr,socfpga-cyclone5" ] ; then
41		socfpga_board_detect
42		name=$(cat /tmp/sysinfo/board_name)
43	fi
44
45	[ -z "$name" ] && name="unknown"
46
47	echo "$name"
48}
49