2019-10-28 17:51:29 +03:00
|
|
|
{ mobile-nixos
|
|
|
|
, fetchFromGitHub
|
2021-01-30 06:53:45 +03:00
|
|
|
, ...
|
2019-10-28 17:51:29 +03:00
|
|
|
}:
|
2020-10-01 09:17:37 +03:00
|
|
|
mobile-nixos.kernel-builder-gcc6 {
|
2020-08-17 13:05:48 +03:00
|
|
|
version = "3.18.140";
|
2019-10-28 17:51:29 +03:00
|
|
|
configfile = ./config.aarch64;
|
|
|
|
src = fetchFromGitHub {
|
2020-08-17 13:05:48 +03:00
|
|
|
owner = "android-linux-stable";
|
|
|
|
repo = "tissot";
|
|
|
|
rev = "b44882a26dc331f51417d0a9810c308f7bb82c4c";
|
|
|
|
sha256 = "0xa7y3shmlnwq70qr87l4myn2873945czlq7wk2aw1d9qd1b95j2";
|
2019-10-28 17:51:29 +03:00
|
|
|
};
|
|
|
|
patches = [
|
2019-10-28 17:58:07 +03:00
|
|
|
./99_framebuffer.patch
|
2019-10-28 17:51:29 +03:00
|
|
|
./0003-arch-arm64-Add-config-option-to-fix-bootloader-cmdli.patch
|
|
|
|
];
|
|
|
|
|
2020-10-01 09:17:37 +03:00
|
|
|
isImageGzDtb = true;
|
2019-10-28 17:51:29 +03:00
|
|
|
isModular = false;
|
2020-10-01 09:17:37 +03:00
|
|
|
}
|