diff --git a/artiq/frontend/artiq_coreboot.py b/artiq/frontend/artiq_coreboot.py
old mode 100644
new mode 100755
diff --git a/artiq/frontend/artiq_devtool.py b/artiq/frontend/artiq_devtool.py
old mode 100644
new mode 100755