ALLOW DEAD CODE #5

	name: Test Repository

	on:
	workflow_dispatch:
	push:

	jobs:
	test:
	runs-on: ubuntu-latest
	container:
	image: trustworthysystems/sel4
	volumes:
	- .:/code
	steps:
	- uses: actions/checkout@v4
	with:
	path: rel4_kernel
	- uses: actions/checkout@v4
	with:
	ref: 'mi_dev'
	path: kernel
	repository: rel4team/seL4_c_impl
	- name: Install generaic tools
	run: apt update && apt install -y wget
	- uses: actions-rust-lang/setup-rust-toolchain@v1
	with:
	toolchain: nightly-2024-02-01
	components: rust-src
	# - name: setup rust toolchain
	# run: curl -sSf https://sh.rustup.rs \| bash -s -- -y --no-modify-path --default-toolchain nightly-2024-02-01 --component rust-src
	# - name: Set Environment Variables
	# run: echo "~/.cargo/bin" >> $GITHUB_PATH
	- name: Make rel4_kernel
	run: cd rel4_kernel && RUSTFLAGS = "$RUSTFLAGS -A dead_code" make run
	- name: Build kernel
	run: cd kernel && cmake cmake -C kernel-settings-riscv64.cmake -G Ninja -S . -B build
	- name: Build Kernel
	run: cd kernel && ninja -C build

Provide feedback