kmax 2.3rc3

Tools for working with symbolic constraints from Kbuild Makefile.

• The Kmax Tool Suite
  • Getting Started
  • Cross-Compiling
  • Additional Documentation

The Kmax Tool Suite

Getting Started

Install pip3, Linux's build dependencies, and kmax:

sudo apt install -y python3-pip flex bison bc libssl-dev
sudo pip3 install kmax

Download the Linux source:

wget https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-5.4.tar.xz
tar -xvf linux-5.4.tar.xz

Run klocalizer

cd linux-5.4/
klocalizer drivers/usb/storage/alauda.o

Build the .config file made by klocalizer:

make ARCH=x86_64 olddefconfig
make ARCH=x86_64 clean drivers/usb/storage/alauda.o

Cross-Compiling

Get make.cross:

sudo apt install -y xz-utils lftp
wget https://raw.githubusercontent.com/fengguang/lkp-tests/master/sbin/make.cross

Run klocalizer with a different architecture:

klocalizer -a powerpc drivers/block/ps3disk.o
bash make.cross ARCH=powerpc olddefconfig; bash make.cross ARCH=powerpc clean drivers/block/ps3disk.o

Installing from Source

Install the prerequisites

sudo apt install -y python3-setuptools python3-dev

Clone and install kmax

git clone https://github.com/paulgazz/kmax.git
cd kmax
sudo python3 setup.py install

Alternatilvely, installing for development to obviate the need to rereun setup.py when making changes to the code

sudo python3 setup.py develop

Additional Documentation

Overview

Advanced Usage

Bugs Found