add build kerneldeb -- modify dts

hc

2023-10-25 6c2073b7aa40e29d0eca7d571dd7bc590c7ecaa7

1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/sh
case "$1" in
  start)
    printf "Initializing SGX graphics driver "
    /usr/bin/pvrsrvinit
    [ $? = 0 ] && echo "OK" || echo "FAIL"
  ;;
  stop)
  ;;
  *)
    echo "Usage: $0 {start|stop}"
    exit 1
  ;;
esac