Skip to content

Instantly share code, notes, and snippets.

View ShalokShalom's full-sized avatar
❄️
Nix on KaOS

ShalokShalom ShalokShalom

❄️
Nix on KaOS
View GitHub Profile
1. Cosmos
a.) Website
b.) Design document
c.) ISO
2. Cosmos Programming Language
a) Qt Design Studio
b) Cosmos KCM
c) Cosmos Design Studio (port to Kirigami)
Mod manager for Linux
https://github.com/nmattia/niv
https://github.com/nix-community/lorri
https://jade.fyi/blog/flakes-arent-real/
https://determinate.systems/posts/nix-home-env
https://xeiaso.net/blog/nix-flakes-1-2022-02-21/
This file has been truncated, but you can view the full file.
Jän 01 16:12:44 cosmos systemd[1]: Starting Display Manager...
Jän 01 16:12:44 cosmos systemd[1]: Started Display Manager.
Jän 01 16:12:45 cosmos sddm[908]: Initializing...
Jän 01 16:12:45 cosmos sddm[908]: Starting...
Jän 01 16:12:45 cosmos sddm[908]: Logind interface found
Jän 01 16:12:45 cosmos sddm[908]: Adding new display...
Jän 01 16:12:45 cosmos sddm[908]: Loaded empty theme configuration
Jän 01 16:12:45 cosmos sddm[908]: Xauthority path: "/run/sddm/xauth_ZczWdK"
Jän 01 16:12:45 cosmos sddm[908]: Using VT 2
Jän 01 16:12:45 cosmos sddm[908]: Display server starting...
@ShalokShalom
ShalokShalom / configuration.nix
Created January 1, 2024 15:02
Raspberri Pi 4
# Edit this configuration file to define what should be installed on
# your system. Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).
{ config, pkgs, ... }:
{
imports =
[ # Include the results of the hardware scan.
./hardware-configuration.nix
# Edit this configuration file to define what should be installed on
# your system. Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).
{ config, pkgs, ... }:
{
imports =
[ # Include the results of the hardware scan.
./hardware-configuration.nix
[ 15.748968] vc4-drm gpu: bound fe400000.hvs (ops vc4_hvs_ops [vc4])
[ 15.782517] vc4-drm gpu: bound fef00700.hdmi (ops vc4_hdmi_ops [vc4])
[ 15.819147] vc4-drm gpu: bound fef05700.hdmi (ops vc4_hdmi_ops [vc4])
[ 15.826339] vc4-drm gpu: bound fe004000.txp (ops vc4_txp_ops [vc4])
[ 15.843944] vc4-drm gpu: bound fe206000.pixelvalve (ops vc4_crtc_ops [vc4])
[ 15.852587] vc4-drm gpu: bound fe207000.pixelvalve (ops vc4_crtc_ops [vc4])
[ 15.861260] vc4-drm gpu: bound fe20a000.pixelvalve (ops vc4_crtc_ops [vc4])
[ 15.872276] vc4-drm gpu: bound fe216000.pixelvalve (ops vc4_crtc_ops [vc4])
[ 15.893355] [drm] Initialized vc4 0.0.0 20140616 for gpu on minor 0
[ 16.282961] vc4-drm gpu: [drm] fb0: vc4drmfb frame buffer device
@ShalokShalom
ShalokShalom / NixOS
Created January 1, 2024 14:02
Port x86 to Pi
1. Connect to Ethernet
2. Insert USB key with configuration.nix
3. lsblk
4. sudo mount /dev/sda /run/mount
5. sudo cp /run/mount/configuration.nix /etc/nixos
6. sudo nixos-rebuild switch
Example configuration:
# Edit this configuration file to define what should be installed on