Lowercase directory names

Signed-off-by: Borys Popławski <[email protected]>
suisui-koubou · Jun 22, 2022 · 3d788ae · 3d788ae
1 parent 5a39aee
commit 3d788ae
Show file tree

Hide file tree

Showing 659 changed files with 153 additions and 153 deletions.
diff --git a/.ci/lib/config-docker.jenkinsfile b/.ci/lib/config-docker.jenkinsfile
@@ -3,7 +3,7 @@ env.PREFIX = env.WORKSPACE + '/usr'
 // don't mess with PATH before reading this: https://issues.jenkins.io/browse/JENKINS-49076
 env.DOCKER_ARGS_COMMON = """
     --env=PATH=${env.PREFIX}/bin:${env.PATH}
-    --security-opt seccomp=${env.WORKSPACE}/Scripts/docker_seccomp.json
+    --security-opt seccomp=${env.WORKSPACE}/scripts/docker_seccomp.json
 """
 env.DOCKER_ARGS_SGX = '''
     --volume=/lib/modules:/lib/modules:ro

diff --git a/.ci/lib/config.jenkinsfile b/.ci/lib/config.jenkinsfile
@@ -1,7 +1,7 @@
 env.MAKEOPTS = '-j8'
 
-python_platlib = sh(returnStdout: true, script: 'python3 Scripts/get-python-platlib.py "$PREFIX"')
-env.PYTHONPATH = python_platlib + ':' + env.WORKSPACE + '/Scripts'
+python_platlib = sh(returnStdout: true, script: 'python3 scripts/get-python-platlib.py "$PREFIX"')
+env.PYTHONPATH = python_platlib + ':' + env.WORKSPACE + '/scripts'
 
 // in Jenkins we can't write anything to $HOME, we must contain ourselves in $WORKSPACE
 env.XDG_CONFIG_HOME = env.WORKSPACE + '/XDG_CONFIG_HOME'

diff --git a/.ci/lib/stage-clean-check-prepare.jenkinsfile b/.ci/lib/stage-clean-check-prepare.jenkinsfile
@@ -1,3 +1,3 @@
 stage('clean-check-prepare') {
-    sh './Scripts/clean-check-prepare'
+    sh './scripts/clean-check-prepare'
 }
diff --git a/.ci/lib/stage-clean-check.jenkinsfile b/.ci/lib/stage-clean-check.jenkinsfile
@@ -11,7 +11,7 @@ stage('clean-check') {
 
         REL_PREFIX=$(realpath "$PREFIX" --relative-to=.)
 
-        cd "$(./Scripts/clean-check-test-copy)"
+        cd "$(./scripts/clean-check-test-copy)"
 
         # Remove our copy of $PREFIX (inside the copied source tree)
         rm -rf "$REL_PREFIX"
@@ -20,15 +20,15 @@ stage('clean-check') {
         # root, and keeps cache there
         rm -rf .pytest_cache
 
-        make -C LibOS/test/regression clean
-        make -C LibOS/test/fs clean
+        make -C libos/test/regression clean
+        make -C libos/test/fs clean
 
-        gramine-test -C LibOS/test/abi/x86_64 clean
-        rm -rf LibOS/test/abi/x86_64/.pytest_cache \
-               LibOS/test/abi/x86_64/__pycache__ \
-               LibOS/test/abi/x86_64/*.xml
+        gramine-test -C libos/test/abi/x86_64 clean
+        rm -rf libos/test/abi/x86_64/.pytest_cache \
+               libos/test/abi/x86_64/__pycache__ \
+               libos/test/abi/x86_64/*.xml
 
-        make -C Pal/regression clean
+        make -C pal/regression clean
 
         make -C CI-Examples/helloworld clean
         make -C CI-Examples/python clean
@@ -45,10 +45,10 @@ stage('clean-check') {
         make -C CI-Examples/ra-tls-mbedtls distclean
         make -C CI-Examples/ra-tls-secret-prov distclean
 
-        make -C LibOS/test/ltp clean
+        make -C libos/test/ltp clean
         # LTP's make clean is broken, see https://github.com/linux-test-project/ltp/issues/559
-        rm -rf /tmp/*.clean-check.clean/LibOS/test/ltp/src
-        rm -rf LibOS/test/ltp/src
+        rm -rf /tmp/*.clean-check.clean/libos/test/ltp/src
+        rm -rf libos/test/ltp/src
 
         # python/ subdir does not have makefiles, so no clean
         rm -rf /tmp/*.clean-check.clean/python/graminelibos/__pycache__
@@ -61,7 +61,7 @@ stage('clean-check') {
             subprojects/*-* \
             subprojects/packagecache
 
-        ./Scripts/clean-check
+        ./scripts/clean-check
     '''
 
     /*
@@ -70,6 +70,6 @@ stage('clean-check') {
      */
     sh 'rm -rf "$PREFIX"'
     sh '''
-        ./Scripts/gitignore-test
+        ./scripts/gitignore-test
     '''
 }
diff --git a/.ci/lib/stage-test-direct.jenkinsfile b/.ci/lib/stage-test-direct.jenkinsfile
@@ -2,20 +2,20 @@ stage('test-direct') {
     try {
         timeout(time: 20, unit: 'MINUTES') {
             sh '''
-                cd LibOS/test/ltp
+                cd libos/test/ltp
                 make ${MAKEOPTS} all
             '''
             // Run tests in a separate block, so that Jenkins measures build time and run time
             // separately
             sh '''
-                cd LibOS/test/ltp
+                cd libos/test/ltp
                 export GRAMINE_LTP_LIVE_OUTPUT=fcntl14,fdatasync01
                 python3 -m pytest -v -n4 --junit-xml=ltp.xml
             '''
         }
     } finally {
-        archiveArtifacts 'LibOS/test/ltp/ltp.xml'
-        junit 'LibOS/test/ltp/ltp.xml'
+        archiveArtifacts 'libos/test/ltp/ltp.xml'
+        junit 'libos/test/ltp/ltp.xml'
     }
     timeout(time: 5, unit: 'MINUTES') {
         sh '''
@@ -50,7 +50,7 @@ stage('test-direct') {
             cd CI-Examples/memcached
             make -j8 all
             make start-gramine-server &
-            ../../Scripts/wait_for_server 5 127.0.0.1 11211
+            ../../scripts/wait_for_server 5 127.0.0.1 11211
             # memcslap populates server but doesn't report errors, use
             # memcached-tool for this (must return two lines of stats)
             memcslap --servers=127.0.0.1 --concurrency=8
@@ -67,7 +67,7 @@ stage('test-direct') {
             fi
             make -j8 all
             make start-gramine-server &
-            ../../Scripts/wait_for_server 5 127.0.0.1 6379
+            ../../scripts/wait_for_server 5 127.0.0.1 6379
             ./src/src/redis-benchmark
         '''
     }
@@ -76,7 +76,7 @@ stage('test-direct') {
             cd CI-Examples/lighttpd
             make -j8 all
             make start-gramine-server &
-            ../../Scripts/wait_for_server 5 127.0.0.1 8003
+            ../../scripts/wait_for_server 5 127.0.0.1 8003
             LOOP=1 CONCURRENCY_LIST="1 32" ../common_tools/benchmark-http.sh 127.0.0.1:8003
         '''
     }
@@ -85,7 +85,7 @@ stage('test-direct') {
             cd CI-Examples/nginx
             make -j8 all
             make start-gramine-server &
-            ../../Scripts/wait_for_server 5 127.0.0.1 8002
+            ../../scripts/wait_for_server 5 127.0.0.1 8002
             LOOP=1 CONCURRENCY_LIST="1 32" ../common_tools/benchmark-http.sh 127.0.0.1:8002
         '''
     }
@@ -94,7 +94,7 @@ stage('test-direct') {
             cd CI-Examples/rust
             make ${MAKEOPTS}
             make ${MAKEOPTS} start-gramine-server &
-            ../../Scripts/wait_for_server 5 127.0.0.1 3000
+            ../../scripts/wait_for_server 5 127.0.0.1 3000
             LOOP=1 CONCURRENCY_LIST="1 32" ../common_tools/benchmark-http.sh 127.0.0.1:3000
         '''
     }

diff --git a/.ci/lib/stage-test-sgx.jenkinsfile b/.ci/lib/stage-test-sgx.jenkinsfile
@@ -32,7 +32,7 @@ stage('test-sgx') {
             cd CI-Examples/memcached
             make ${MAKEOPTS}
             make SGX=1 start-gramine-server &
-            ../../Scripts/wait_for_server 60 127.0.0.1 11211
+            ../../scripts/wait_for_server 60 127.0.0.1 11211
             # memcslap populates server but doesn't report errors, use
             # memcached-tool for this (must return two lines of stats)
             memcslap --servers=127.0.0.1 --concurrency=8
@@ -52,7 +52,7 @@ stage('test-sgx') {
             cd CI-Examples/redis
             make ${MAKEOPTS}
             make ${MAKEOPTS} start-gramine-server &
-            ../../Scripts/wait_for_server 60 127.0.0.1 6379
+            ../../scripts/wait_for_server 60 127.0.0.1 6379
             ./src/src/redis-benchmark
         '''
     }
@@ -61,7 +61,7 @@ stage('test-sgx') {
             cd CI-Examples/lighttpd
             make ${MAKEOPTS}
             make ${MAKEOPTS} start-gramine-server &
-            ../../Scripts/wait_for_server 60 127.0.0.1 8003
+            ../../scripts/wait_for_server 60 127.0.0.1 8003
             LOOP=1 CONCURRENCY_LIST="1 32" ../common_tools/benchmark-http.sh 127.0.0.1:8003
         '''
     }
@@ -70,7 +70,7 @@ stage('test-sgx') {
             cd CI-Examples/nginx
             make ${MAKEOPTS}
             make ${MAKEOPTS} start-gramine-server &
-            ../../Scripts/wait_for_server 60 127.0.0.1 8002
+            ../../scripts/wait_for_server 60 127.0.0.1 8002
             LOOP=1 CONCURRENCY_LIST="1 32" ../common_tools/benchmark-http.sh 127.0.0.1:8002
         '''
     }
@@ -79,7 +79,7 @@ stage('test-sgx') {
             cd CI-Examples/rust
             make ${MAKEOPTS}
             make ${MAKEOPTS} start-gramine-server &
-            ../../Scripts/wait_for_server 60 127.0.0.1 3000
+            ../../scripts/wait_for_server 60 127.0.0.1 3000
             LOOP=1 CONCURRENCY_LIST="1 32" ../common_tools/benchmark-http.sh 127.0.0.1:3000
         '''
     }

diff --git a/.ci/lib/stage-test.jenkinsfile b/.ci/lib/stage-test.jenkinsfile
@@ -2,24 +2,24 @@ stage('test') {
     timeout(time: 15, unit: 'MINUTES') {
         try {
             sh '''
-                cd Pal/regression
+                cd pal/regression
                 gramine-test build -v
                 python3 -m pytest -v --junit-xml pal-regression.xml
             '''
         } finally {
-            junit 'Pal/regression/pal-regression.xml'
+            junit 'pal/regression/pal-regression.xml'
         }
     }
 
     timeout(time: 15, unit: 'MINUTES') {
         try {
             sh '''
-                cd LibOS/test/regression
+                cd libos/test/regression
                 RA_TYPE=epid RA_CLIENT_SPID=${ra_client_spid} gramine-test build -v
                 python3 -m pytest -v --junit-xml libos-regression.xml
             '''
         } finally {
-            junit 'LibOS/test/regression/libos-regression.xml'
+            junit 'libos/test/regression/libos-regression.xml'
         }
     }
 
@@ -28,40 +28,40 @@ stage('test') {
             try {
                 sh '''
                     export GRAMINE_MUSL=1
-                    cd LibOS/test/regression
+                    cd libos/test/regression
                     # For some unknown reason it fails without this clean on sgx-18.04 pipeline
                     gramine-test clean
                     RA_TYPE=epid RA_CLIENT_SPID=${ra_client_spid} \
                         gramine-test -n tests_musl.toml build -v
                     python3 -m pytest -v --junit-xml libos-regression-musl.xml
                 '''
             } finally {
-                junit 'LibOS/test/regression/libos-regression-musl.xml'
+                junit 'libos/test/regression/libos-regression-musl.xml'
             }
         }
     }
 
     timeout(time: 15, unit: 'MINUTES') {
         try {
             sh '''
-                cd LibOS/test/abi/x86_64
+                cd libos/test/abi/x86_64
                 gramine-test build -v
                 python3 -m pytest -v --junit-xml abi.xml
             '''
         } finally {
-            junit 'LibOS/test/abi/x86_64/*.xml'
+            junit 'libos/test/abi/x86_64/*.xml'
         }
     }
 
     timeout(time: 15, unit: 'MINUTES') {
         try {
             sh '''
-                cd LibOS/test/fs
+                cd libos/test/fs
                 gramine-test build -v
                 python3 -m pytest -v --junit-xml fs.xml
             '''
         } finally {
-            junit 'LibOS/test/fs/*.xml'
+            junit 'libos/test/fs/*.xml'
         }
     }
 }
diff --git a/.ci/run-pylint b/.ci/run-pylint
@@ -11,9 +11,9 @@ if [ -z "$PYLINT" ]; then
 fi
 
 find . -name \*.py \
-    -and -not -path ./LibOS/test/ltp/src/\* \
-    -and -not -path ./LibOS/test/ltp/build/\* \
-    -and -not -path ./LibOS/test/ltp/install/\* \
+    -and -not -path ./libos/test/ltp/src/\* \
+    -and -not -path ./libos/test/ltp/build/\* \
+    -and -not -path ./libos/test/ltp/install/\* \
     -and -not -name ninja_syntax.py \
 | sed 's/./\\&/g' \
 | xargs "${PYLINT}" "$@" \

diff --git a/.ci/run-shellcheck b/.ci/run-shellcheck
@@ -9,10 +9,10 @@ LC_ALL=C.UTF-8 shellcheck "$@" \
     CI-Examples/common_tools/benchmark-http.sh \
     CI-Examples/python/run-tests.sh \
     tools/gramine.in \
-    Scripts/clean-check \
-    Scripts/clean-check-prepare \
-    Scripts/clean-check-test-copy \
-    Scripts/download \
-    Scripts/gitignore-test \
+    scripts/clean-check \
+    scripts/clean-check-prepare \
+    scripts/clean-check-test-copy \
+    scripts/download \
+    scripts/gitignore-test \
     .ci/run-pylint \
     .ci/run-shellcheck
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "LibOS/test/ltp/src"]
-	path = LibOS/test/ltp/src
+[submodule "libos/test/ltp/src"]
+	path = libos/test/ltp/src
 	url = https://github.com/linux-test-project/ltp.git
diff --git a/CI-Examples/python/run-tests.sh b/CI-Examples/python/run-tests.sh
@@ -18,7 +18,7 @@ rm OUTPUT
 # === web server and client (on port 8005) ===
 echo -e "\n\nRunning HTTP server dummy-web-server.py in the background:"
 $GRAMINE ./python scripts/dummy-web-server.py 8005 & echo $! > server.PID
-../../Scripts/wait_for_server 60 127.0.0.1 8005
+../../scripts/wait_for_server 60 127.0.0.1 8005
 
 echo -e "\n\nRunning HTTP client test-http.py:"
 $GRAMINE ./python scripts/test-http.py 127.0.0.1 8005 > OUTPUT1

diff --git a/CI-Examples/ra-tls-secret-prov/Makefile b/CI-Examples/ra-tls-secret-prov/Makefile
@@ -49,7 +49,7 @@ ssl/server.crt: ssl/ca_config.conf
 
 ######################### CLIENT/SERVER EXECUTABLES ###########################
 
-CFLAGS += -Wall -std=c11 -I$(GRAMINEDIR)/Pal/src/host/Linux-SGX/tools/ra-tls \
+CFLAGS += -Wall -std=c11 -I$(GRAMINEDIR)/pal/src/host/linux-sgx/tools/ra-tls \
           $(shell pkg-config --cflags mbedtls_gramine)
 LDFLAGS += $(shell pkg-config --libs mbedtls_gramine)
 

diff --git a/CONTRIBUTING.rst b/CONTRIBUTING.rst
@@ -141,7 +141,7 @@ Reviewing Guidelines
    formatting fixes mixed with features, no moving files and changing them at
    the same time).
 #. Meaningful commit messages (it's much easier to get them right if commits are
-   really atomic). Should include which component was changed (Pal-{Linux,SGX}
+   really atomic). Should include which component was changed (PAL-{Linux,SGX}
    / LibOS / Docs / CI) in the format "[component] change description".
 #. Every PR description should include: what's the purpose of the changes, what
    is changed (and how, in case of redesigning a component), and how to test the
@@ -201,12 +201,12 @@ directory with ``-Dtests=enabled`` and install Gramine::
 
 To run the PAL tests::
 
-   cd Pal/regression
+   cd pal/regression
    gramine-test pytest -v
 
 For SGX, one needs to do the following::
 
-   cd Pal/regression
+   cd pal/regression
    gramine-test --sgx pytest -v
 
 It is also possible to run a subset of tests::
@@ -231,7 +231,7 @@ For more information, run :command:`gramine-test --help` and
 :command:`gramine-test <command> --help`.
 
 The LibOS unit tests work similarly, and are under
-:file:`LibOS/test/regression`.
+:file:`libos/test/regression`.
 
 LTP
 ^^^
@@ -241,7 +241,7 @@ currently only supported on the Linux PAL.
 
 To run these tests::
 
-   cd LibOS/test/ltp
+   cd libos/test/ltp
    # consider -j$(nproc) or similar to parallelize and improve the build time.
    make
    make regression
@@ -251,7 +251,7 @@ To run these tests::
    python3 -m pytest -v -k chmod01
 
 For more information on how to run the ltp tests, please refer to
-:file:`LibOS/test/ltp/README.rst`.
+:file:`libos/test/ltp/README.rst`.
 
 
 Management Team

diff --git a/Documentation/Doxyfile-libos b/Documentation/Doxyfile-libos
@@ -2,5 +2,5 @@
 PROJECT_NAME = "LibOS"
 OUTPUT_DIRECTORY = _build/doxygen-libos
 INPUT = \
-    ../LibOS/include \
-    ../LibOS/src
+    ../libos/include \
+    ../libos/src
diff --git a/Documentation/Doxyfile-pal b/Documentation/Doxyfile-pal
@@ -1,7 +1,7 @@
 @INCLUDE = Doxyfile
 PROJECT_NAME = "PAL"
 OUTPUT_DIRECTORY = _build/doxygen-pal
-INPUT = ../Pal/include/arch/x86_64 ../Pal/include/pal ../Pal/include
+INPUT = ../pal/include/arch/x86_64 ../pal/include/pal ../pal/include
 MACRO_EXPANSION = YES
 EXPAND_ONLY_PREDEF = YES
 PREDEFINED = noreturn= __x86_64__=1