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
Project details
Release history Release notifications | RSS feed
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)
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
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
068b6f931007abd26dd963506e132214c27bbc68939e16ee25cfd83656547240
|
|
| MD5 |
4cff72f8436005f2622040db0eb7046b
|
|
| BLAKE2b-256 |
f10783e377c73204d741fae2f6c9814360b2a166e176210129f3e965cc3c5af6
|