2018-06-27 03:39:26 +03:00
|
|
|
with (import ./overlay) {};
|
2018-06-10 03:57:12 +03:00
|
|
|
|
2019-10-26 17:45:47 +03:00
|
|
|
# A basic shell with some tools available for porting devices.
|
2018-06-10 03:57:12 +03:00
|
|
|
mkShell rec {
|
|
|
|
name = "nixos-mobile";
|
|
|
|
buildInputs = [
|
2020-10-03 05:50:36 +03:00
|
|
|
# Custom tools
|
|
|
|
mobile-nixos.autoport # Helps users kickstart their ports
|
|
|
|
|
|
|
|
# Third party tools
|
2021-02-12 00:27:23 +03:00
|
|
|
dtc # For playing around with device tree files
|
2019-10-26 17:45:47 +03:00
|
|
|
dtbTool # Combines multiple device tree blobs into one image
|
|
|
|
file # Shows the type of files
|
|
|
|
lz4 # Decompress image files
|
|
|
|
mkbootimg # Pack and unpack boot images
|
|
|
|
python3Packages.binwalk # Search a binary image for embedded files
|
2021-02-12 00:27:23 +03:00
|
|
|
ubootTools # A couple useful utilities
|
2018-06-10 03:57:12 +03:00
|
|
|
];
|
|
|
|
}
|