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.

Source Distribution

kmaxtools-2.1.tar.gz (190.5 kB view details)

Uploaded Source

File details

Details for the file kmaxtools-2.1.tar.gz.

File metadata

  • Download URL: kmaxtools-2.1.tar.gz
  • Upload date:
  • Size: 190.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.10.0 setuptools/42.0.2 requests-toolbelt/0.9.1 tqdm/4.38.0 CPython/2.7.18rc1

File hashes

Hashes for kmaxtools-2.1.tar.gz
Algorithm Hash digest
SHA256 068b6f931007abd26dd963506e132214c27bbc68939e16ee25cfd83656547240
MD5 4cff72f8436005f2622040db0eb7046b
BLAKE2b-256 f10783e377c73204d741fae2f6c9814360b2a166e176210129f3e965cc3c5af6

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page