nix-servo

We only need one GCC toolchain

#1 by sb10q was closed 2024-04-03 12:22:18 +08:00

can't build boot.bin

#2 by sb10q was closed 2023-11-30 08:55:52 +08:00

can't build not-os

#3 by sb10q was closed 2023-12-12 20:18:15 +08:00

#6 by sb10q was closed 2024-01-02 17:11:24 +08:00

Missing hostname

#7 by sb10q was closed 2023-12-20 16:31:46 +08:00

Cannot login

#8 by sb10q was closed 2023-12-20 16:31:47 +08:00

remove kernel module bloat

#13 by sb10q was closed 2024-01-17 18:07:54 +08:00

login errors

#14 by sb10q was closed 2024-01-17 10:20:02 +08:00

#16 by sb10q was closed 2024-01-16 14:44:57 +08:00

NIX_PATH not set

#26 by sb10q was closed 2024-02-19 17:32:33 +08:00

nix substituter not set

#27 by sb10q was closed 2024-02-20 15:41:19 +08:00

install a text editor by default

#28 by sb10q was closed 2024-02-15 17:54:38 +08:00

#30 by sb10q was closed 2024-02-22 09:59:49 +08:00

move not-os patches to dedicated folder

#38 by sb10q was closed 2024-03-01 17:20:55 +08:00

Error on QEMU build

#40 by fsagbuya was closed 2024-03-01 18:12:45 +08:00

issue with Linux kernel in recent nixpkgs

#42 by sb10q was closed 2024-03-05 10:20:48 +08:00

Loading bitstream inside linux

#45 by fsagbuya was closed 2024-03-14 14:50:05 +08:00

Fix SPI interface

#48 by fsagbuya was closed 2024-03-15 11:58:49 +08:00

Labels Milestones