mobile-nixos/modules/module-list.nix

# Import the upstream module-list.
# FIXME : This won't allow importing `mobile-nixos` into /etc/configuration.nix
(import <nixpkgs/nixos/modules/module-list.nix>) ++

# Then add our additional modules.
# Keep this list `:sort`ed.
[
  ./_nixos-disintegration
  ./adb.nix
  ./boot-initrd.nix
  ./hardware-generic.nix
  ./hardware-qualcomm.nix
  ./hardware-ram.nix
  ./hardware-rockchip.nix
  ./hardware-screen.nix
  ./hardware-soc.nix
  ./initrd-base.nix
  ./initrd-fbterm.nix
  ./initrd-fail.nix
  ./initrd-kernel.nix
  ./initrd-logs.nix
  ./initrd-network.nix
  ./initrd-shell.nix
  ./initrd-splash.nix
  ./initrd-ssh.nix
  ./initrd-usb.nix
  ./initrd-vendor.nix
  ./initrd.nix
  ./mobile-device.nix
  ./nixpkgs.nix
  ./quirks/qualcomm/default.nix
  ./system-target.nix
  ./system-types.nix
]
modules: Integrate with NixOS... Otherwise, passing configuration to the NixOS modules system would become harder, for "outside-in" builds, and would make it harder to integrate into a nixos-rebuild type build. 2019-09-22 00:28:26 +03:00			`# Import the upstream module-list.`
			# FIXME : This won't allow importing `mobile-nixos` into /etc/configuration.nix
			`(import <nixpkgs/nixos/modules/module-list.nix>) ++`

			`# Then add our additional modules.`
			# Keep this list `:sort`ed.
WIP Migrates device configuration into the options system. 2018-06-17 02:21:41 +03:00			`[`
modules: Integrate with NixOS... Otherwise, passing configuration to the NixOS modules system would become harder, for "outside-in" builds, and would make it harder to integrate into a nixos-rebuild type build. 2019-09-22 00:28:26 +03:00			`./_nixos-disintegration`
Restart adb in stage-2 * Move adb to a separate module. It used to be in stage-1, but it is no longer stage-1 specific, as it is now started in stage-2 as well. * After switching to stage-2 kill the old adbd and start a new one. 2019-10-27 01:34:54 +03:00			`./adb.nix`
WIP progress with configuration system. Regression: fb.modes isn't copied anymore 2018-06-17 03:43:19 +03:00			`./boot-initrd.nix`
Adds qemu-x86_64 device. Network doesn't work :/ 2018-06-18 03:50:17 +03:00			`./hardware-generic.nix`
WIP Migrates device configuration into the options system. 2018-06-17 02:21:41 +03:00			`./hardware-qualcomm.nix`
Adds qemu-x86_64 device. Network doesn't work :/ 2018-06-18 03:50:17 +03:00			`./hardware-ram.nix`
hardware: inits rockchip with OP1 While it is an RK3399 derivative, we'll identify all devices as their manufacturer does. Meaning that this is an OP1. Though this seems useless at first glance, this allows us to put conditionals on OP1 specific features or misfeatures, if any. 2019-09-10 21:16:53 +03:00			`./hardware-rockchip.nix`
WIP progress with configuration system. Regression: fb.modes isn't copied anymore 2018-06-17 03:43:19 +03:00			`./hardware-screen.nix`
			`./hardware-soc.nix`
Finishes porting to declarative configuration. 2018-06-17 20:50:32 +03:00			`./initrd-base.nix`
initrd: add fbterm module Requires a cross-compilation fix for fbterm (nixos/nixpkgs#72107). This may stop the display-manager from starting correctly, I think it prevents X from automatically switching to the correct vt. Requires some further investigation :) 2019-10-27 19:20:31 +03:00			`./initrd-fbterm.nix`
initrd: Adds failure reporting Uses the sad-phone artwork to convey that something's wrong. A color has to be given to help convey the issue in constrained situations where no proper logging happens. 2019-10-13 00:05:09 +03:00			`./initrd-fail.nix`
initrd-kernel: Allows embedding modules. 2018-06-24 00:45:51 +03:00			`./initrd-kernel.nix`
initrd-logs: Add bootlogd multiplexer/logger support. 2020-01-11 03:51:18 +03:00			`./initrd-logs.nix`
WIP slowly moving everything to the options system. 2018-06-17 06:43:11 +03:00			`./initrd-network.nix`
stage-1: Adds shell option. 2018-06-19 05:11:40 +03:00			`./initrd-shell.nix`
WIP slowly moving everything to the options system. 2018-06-17 06:43:11 +03:00			`./initrd-splash.nix`
			`./initrd-ssh.nix`
initrd: Adds `adbd` support in initrd. 2018-07-08 03:22:39 +03:00			`./initrd-usb.nix`
initrd-vendor: init module This is required for some devices, as some features only work when firmwares are loaded on some devices. Here, `google-walleye` `gsi.rndis` usb gadget requires the IPA firmware. 2020-01-13 00:09:02 +03:00			`./initrd-vendor.nix`
Review build to better use system.build and be more composable 2019-09-22 05:40:24 +03:00			`./initrd.nix`
WIP Migrates device configuration into the options system. 2018-06-17 02:21:41 +03:00			`./mobile-device.nix`
Reviews how overlay works and is used. 2018-06-27 03:39:26 +03:00			`./nixpkgs.nix`
quirks: Implement qualcomm framebuffer quirks as tasks 2019-12-25 03:41:17 +03:00			`./quirks/qualcomm/default.nix`
Adds mobile.system.platform 2018-06-27 04:52:09 +03:00			`./system-target.nix`
WIP Migrates device configuration into the options system. 2018-06-17 02:21:41 +03:00			`./system-types.nix`
			`]`