kinOS

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

Build

The tools required for building are the same as for MikanOS

Clone EDK2

In tools/

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

Setting

In edk2/

git submodule update --init

make -C BaseTools/Source/C

source edksetup.sh

Edit Conf/target.txt

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

Make a symbolic link

In edk2/

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

Build and run

make