Apply .gitignore

.github/CODEOWNERS

@@ -0,0 +1 @@
+* @CSPCLAB/pintos-study

.github/workflows/pintos-build.yml

@@ -0,0 +1,43 @@
+name: Pintos Docker Build and Test
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      # 1. Checkout the repository
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      # 2. Set up Docker Buildx
+      - name: Setup Docker BuildX
+        uses: docker/setup-buildx-action@v3
+
+      # 3. Build the Docker image
+      - name: Build Pintos Docker Image
+        run: |
+          docker buildx build \
+            --platform linux/amd64 \
+            --tag pintos-build:latest \
+            --load \
+            .
+
+      # 4. Run Pintos build inside the container
+      - name: Run Pintos Build Checks
+        run: |
+          docker run --rm \
+            -v ${{ github.workspace }}:/pintos \
+            -w /pintos \
+            pintos-build:latest \
+            bash -c "
+            cd src/threads && make clean && make &&
+            cd ../userprog && make clean && make &&
+            cd ../filesys && make clean && make"

.gitignore

@@ -73,3 +73,6 @@ Mkfile.old
 dkms.conf
 
 # End of https://www.toptal.com/developers/gitignore/api/c
+
+# Docker
+docker-compose.yaml

Dockerfile

@@ -0,0 +1,8 @@
+# Dockerfile
+FROM thierrysans/pintos
+
+# Set working directory
+WORKDIR /pintos
+
+# Ensure the interactive session doesn't time out
+RUN echo 'export TMOUT=0' >> ~/.bashrc