WSL Integration

Install WSL in windows. the related document id provided here https://learn.microsoft.com/en-us/windows/wsl/install

After install follow these

# Update package list
sudo apt update

# Install essential packages
sudo apt install -y build-essential gcc-multilib qemu-system-x86 gdb parted python3 python3-pip

Steps After Installation

1. Edit make_image.py:

   • Ensure the shebang line at the top of make_image.py is updated to use Python 3:

     #!/usr/bin/env python3

   • If make_image.py was originally created on Windows, convert it to Unix-style line endings:

     dos2unix make_image.py

2. Update the Makefile to Call make_image.py with the Correct Path:

   • Open the Makefile and find any instance of make_image.py. Make sure it is called with the correct relative path:

     ./make_image.py

3. Compile the Project:

   • Run the following commands to clean, compile, and test:

     make clean
     make
     make TEST=1

4. Run make_image.py Manually (if needed):

   • If make_image.py does not run automatically, execute it directly to generate the disk image:

     ./make_image.py

5. Run CertiKOS with QEMU:

   • Start the CertiKOS kernel using QEMU:

     qemu-system-x86_64 -drive file=certikos.img,format=raw