53 lines
1.4 KiB
Markdown
53 lines
1.4 KiB
Markdown
# nixos x13s
|
|
|
|
> [!CAUTION]
|
|
> This project is partially maintained.
|
|
> It receives kernel updates, until mainline will provide a fully functional experience.
|
|
|
|
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.
|
|
|
|
## Add with a flake
|
|
|
|
```nix
|
|
{
|
|
inputs = {
|
|
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
|
|
nixos-x13s.url = "git+https://codeberg.org/steveej/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
|
|
|
|
# allow unfree firmware
|
|
nixpkgs.config.allowUnfree = true;
|
|
|
|
# define your fileSystems
|
|
fileSystems."/".device = "/dev/notreal";
|
|
}
|
|
];
|
|
};
|
|
};
|
|
}
|
|
```
|
|
|
|
## 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.
|