mirror of
https://codeberg.org/mart-w/nixos-x13s.git
synced 2024-11-15 03:54:47 +01:00
96 lines
2.4 KiB
Markdown
96 lines
2.4 KiB
Markdown
# nixos x13s
|
|
|
|
This repository aims to provide easy, shared, support for Lenovo X13s on Linux.
|
|
|
|
The support for this machine is constantly improving in mainline kernel and upstream packages. Eventually the goal is that this repository is no longer necessary.
|
|
|
|
## Binary cache
|
|
|
|
A binary cache is provided through Cachix so you can avoid re-building the kernel.
|
|
|
|
https://app.cachix.org/cache/nixos-x13s
|
|
|
|
Ensure you are not overriding the nixpkgs input when consuming this flake, or you may not be able to take advantages of this cache.
|
|
|
|
NixOS configuration example:
|
|
|
|
```nix
|
|
nix.settings = {
|
|
substituters = [
|
|
"https://nixos-x13s.cachix.org"
|
|
];
|
|
trusted-public-keys = [
|
|
"nixos-x13s.cachix.org-1:SzroHbidolBD3Sf6UusXp12YZ+a5ynWv0RtYF0btFos="
|
|
];
|
|
};
|
|
```
|
|
|
|
## Add with a flake
|
|
|
|
```nix
|
|
{
|
|
inputs = {
|
|
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
|
|
nixos-x13s.url = "git+https://codeberg.org/adamcstephens/nixos-x13s";
|
|
};
|
|
|
|
outputs =
|
|
{ ... }@inputs:
|
|
{
|
|
nixosConfigurations.example = inputs.nixpkgs.lib.nixosSystem {
|
|
system = "aarch64-linux";
|
|
modules = [
|
|
inputs.nixos-x13s.nixosModules.default
|
|
{
|
|
nixos-x13s.enable = true;
|
|
nixos-x13s.kernel = "jhovold"; # jhovold is default, but mainline supported
|
|
|
|
# install multiple kernels! note this increases eval time for each specialization
|
|
specialisation = {
|
|
# note that activation of each specialization is required to copy the dtb to the EFI, and thus boot
|
|
mainline.configuration.nixos-x13s.kernel = "mainline";
|
|
};
|
|
|
|
# allow unfree firmware
|
|
nixpkgs.config.allowUnfree = true;
|
|
|
|
# define your fileSystems
|
|
fileSystems."/".device = "/dev/notreal";
|
|
}
|
|
];
|
|
};
|
|
};
|
|
}
|
|
```
|
|
|
|
## Add using not a flake
|
|
|
|
Clone the repository:
|
|
|
|
```
|
|
git clone https://codeberg.org/adamcstephens/nixos-x13s /etc/nixos/nixos-x13s
|
|
```
|
|
|
|
Then reference the module in your `configuration.nix` and use the module as documented in the flake example above:
|
|
|
|
```nix
|
|
imports =
|
|
[
|
|
./nixos-x13s/module.nix
|
|
];
|
|
nixos-x13s.enable = true;
|
|
...
|
|
```
|
|
|
|
## UEFI Update ISO
|
|
|
|
This repository provides a package which can output the USB UEFI Update ISO. This will be updated as Lenovo releases new versions.
|
|
|
|
```
|
|
nix build .#uefi-usbiso
|
|
|
|
dd if=result/usbdisk-*.iso of=/path/to/usb/disk
|
|
```
|
|
|
|
Reboot, select USB drive from F12 boot menu, follow wizard.
|