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