Terms of Service | Privacy Policy | Cookie Policy

Unverified Commit 1e4ea6d3 authored by Uwe Plonus's avatar Uwe Plonus Committed by GitHub
Browse files

Merge pull request #3 from uweplonus/master

Started documenting VM
parents 8a887c1d 63f1aa5a
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
*.pdf filter=lfs diff=lfs merge=lfs -text
*.png filter=lfs diff=lfs merge=lfs -text
*.nw linguist-language=tex
+2 −1
Original line number Diff line number Diff line
dummypayload
floppy
image
bootloader.tex
tutorial.tex
*~
*.acn
*.acr
@@ -18,5 +20,4 @@ image
*.log
*.lst
*.out
*.tex
*.toc

Jenkinsfile

0 → 100644
+69 −0
Original line number Diff line number Diff line
pipeline {
  agent {
    node {
      label 'master'
    }
  }
  stages {
    stage('Cleanup') {
      steps {
        deleteDir()
      }
    }
    stage('Checkout') {
      steps {
        checkout scm
      }
    }
    stage('Build asm and pdf') {
      agent {
        dockerfile {
          reuseNode true
        }
      }
      steps {
        sh script: 'make'
        sh """
          cd bootloader
          make
        """
      }
    }
    stage('Archive Artifacts') {
      steps {
        archiveArtifacts 'bootloader/bootloader'
        archiveArtifacts 'bootloader/bootloader.pdf'
        archiveArtifacts 'bootloader/makebootfloppy.sh'
        archiveArtifacts 'tutorial.pdf'
      }
    }
    stage('Update gh-pages from master') {
      when {
        environment name: 'CHANGE_FORK', value: ''
        expression { GIT_URL ==~ 'https://github.com/osdevelopment-info/.*' }
        expression { GIT_BRANCH ==~ 'master' }
        expression { currentBuild.result == null || currentBuild.result == 'SUCCESS' }
      }
      steps {
        sshagent(['6452f2aa-2b69-4fa7-be5f-5f0ef6d3acba']) {
          sh """
            git clone --no-checkout \$(echo ${GIT_URL} | sed 's/https:\\/\\//git@/' | sed 's/\\//:/') checkout
            git config --add user.email ci@sw4j.org
            git config --add user.name "CI Jenkins"
            git config push.default simple
            cd checkout
            git checkout gh-pages
            cp ../*.pdf .
            cp ../bootloader/bootloader bootloader/
            cp ../bootloader/bootloader.pdf bootloader/
            cp ../bootloader/makebootfloppy.sh bootloader/
            git diff --quiet && git diff --staged --quiet || git commit -am 'Update program and documentation'
            git push
            cd ..
            rm -rf checkout
          """
        }
      }
    }
  }
}

acronym.tex

0 → 100644
+16 −0
Original line number Diff line number Diff line

\newacronym{bcd}{BCD}{binary coded decimal}

\newacronym{acr-cli}{CLI}{command line interface}

\newacronym{fpu}{FPU}{floating point unit}

\newacronym{gdb}{GDB}{GNU Debugger}

\newacronym{gui}{GUI}{graphical user interface}

\newacronym{os}{OS}{operating system}

\newacronym{tlb}{TLB}{translation lookaside buffer}

\newacronym{vm}{VM}{virtual machine}
+3 −0
Original line number Diff line number Diff line
version https://git-lfs.github.com/spec/v1
oid sha256:67215bdc2ad0c41c7436e8e77b98068515a98ee39a7d7b3ebeb8610c8c74deea
size 16041
Loading