2021-08-27 00:39:27 +03:00
|
|
|
{ pkgs ? import ./pkgs.nix { } }:
|
|
|
|
|
|
|
|
let pkgs' = pkgs; in # Break the cycle
|
|
|
|
let
|
|
|
|
pkgs = pkgs'.appendOverlays [
|
|
|
|
(import ./overlay/overlay.nix)
|
|
|
|
];
|
|
|
|
in
|
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.
|
2021-08-27 00:39:27 +03:00
|
|
|
pkgs.mkShell rec {
|
2018-06-10 03:57:12 +03:00
|
|
|
name = "nixos-mobile";
|
2021-08-27 00:39:27 +03:00
|
|
|
buildInputs = with pkgs; [
|
2020-10-03 05:50:36 +03:00
|
|
|
# Custom tools
|
|
|
|
mobile-nixos.autoport # Helps users kickstart their ports
|
|
|
|
|
|
|
|
# Third party tools
|
2021-09-13 07:32:19 +03:00
|
|
|
android-tools # For flashing android devices with fastboot
|
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
|
|
|
];
|
|
|
|
}
|