kinOS

kinOS is a microkernel-like operating system based on MikanOS.

Build

The tools required for building are the same as for MikanOS

In tools/

git clone https://github.com/tianocore/edk2.git

In edk2/

git submodule update --init

make -C BaseTools/Source/C

source edksetup.sh

item	value
ACTIVE_PLATFORM	kinLoaderPkg/kinLoaderPkg.dsc
TARGET	DEBUG
TARGET_ARCH	X64
TOOL_CHAIN_TAG	CLANG38

In edk2/

ln -s ../../kinLoaderPkg ./

make