rename board name 'rv32m1_vega' as 'rv32m1-vega'

2022-06-22 16:42:52 +08:00
parent 42cf1290d1
commit 29a205e467
104 changed files with 109 additions and 109 deletions
@@ -0,0 +1,11 @@
+config PIN_BUS_NAME
+    string "pin bus name"
+    default "pin"
+
+config PIN_DRIVER_NAME
+    string "pin driver name"
+    default "pin_drv"
+
+config PIN_DEVICE_NAME
+    string "pin device name"
+    default "pin_dev"