Kernel

This is Tupai's kernel.

Building

NOTE: The kernel is designed to be built from the root repository. The following instructions may be outdated.

To build the kernel, run the following command in the root directory of the repository:

make all TARGET=<target>

where <target> is one of x64, i386 or rpi2.

Clean up all 'TODO's in source code
Investigate deadlock problems associated with the use of Weak references in the premptive scheduler (src/thread/preempt.rs)

Name		Name	Last commit message	Last commit date
Latest commit History 100 Commits
.cargo		.cargo
src		src
targets		targets
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
Xargo.toml		Xargo.toml
build-config.rs		build-config.rs
makefile		makefile