diff options
Diffstat (limited to 'tools/sync-rpi.conf')
| -rw-r--r-- | tools/sync-rpi.conf | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tools/sync-rpi.conf b/tools/sync-rpi.conf new file mode 100644 index 0000000..b9651c1 --- /dev/null +++ b/tools/sync-rpi.conf @@ -0,0 +1,19 @@ +[config] +## Define directories, where you store crosscompiled environment +rpi1_path=/usr/armv6j-hardlofat-linux-gnueabi +rpi2_path=/usr/armv7a-hardfloat-linux-gnueabi +rpi3_path=/usr/aarch64-uknown-linux-gnu + +## Full URI to the git repository holding configuration files +repo=ssh://git@git.brancik.cz/rpi-config.git + +## path to directory in repository where configuration files are stored +repo_path=conf + +## Define values for devices +## Name the section after the device +[alcor-01] +## Define the type of RPi being used +type = rpi1 +[alcor-02] +[mizar] |