bugfix: 当物理机具有多个memory area的时候,无法正确使用这些区域的问题.以及在内核代码处出现内存空洞而导致无法正常运行的… #1270
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Build Check | |
on: | |
push: | |
branches: [ "master" ] | |
pull_request: | |
branches: [ "master" ] | |
jobs: | |
# ensure the toolchain is cached | |
ensure-toolchain: | |
uses: ./.github/workflows/cache-toolchain.yml | |
build: | |
runs-on: ubuntu-latest | |
needs: [ensure-toolchain] | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Cache DragonOS GCC | |
id: cache-dragonos-gcc | |
uses: actions/cache@v3 | |
env: | |
cache-name: cache-dragonos-gcc | |
with: | |
path: | | |
~/opt | |
key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('tools/build_gcc_toolchain.sh') }} | |
- name: Cache build tools | |
id: cache-build-tools | |
uses: actions/cache@v3 | |
env: | |
cache-name: cache-build-tools | |
dadk_version: 0.1.2 | |
with: | |
path: | | |
~/.cargo | |
~/.rustup | |
~/.bashrc | |
key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ env.dadk_version }}-${{ hashFiles('.github/workflows/cache-toolchain.yml') }} | |
- name: build the DragonOS | |
run: bash -c "source ~/.cargo/env && export DragonOS_GCC=$HOME/opt/dragonos-gcc/gcc-x86_64-unknown-none/bin && make -j $(nproc) " |