Skip to main content

Tools for working with symbolic constraints from Kbuild Makefile.

Project description

The Kmax Tool Suite

Getting Started

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

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

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

Additional Documentation

Overview

Advanced Usage

Bugs Found by kmaxtools

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for kmaxtools, version 2.2
Filename, size File type Python version Upload date Hashes
Filename, size kmaxtools-2.2.tar.gz (409.6 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page