2023-12-22T05:48:25Z - 2024-12-22T05:48:25Z
Overview
40 Pull requests merged by 1 user
Merged
#68 remove nixos armv7l unofficial binary cache
Merged
#67 dac: fix initialization order
Merged
#19 Resize root partition on first boot and include wget
Merged
#10 add not-os disk image builder and qemu
Merged
#15 WIP: Fix missing privilege separation directory: /var/empty
Merged
#24 Add fast-servo board support
Merged
#31 Install nano as default text editor
Merged
#50 Integrate linien-server to not-os
Merged
#54 Configure arm linux toolchain
Merged
#62 Update dependencies and fix deprecated pkgs.writeReferencesToFile
Merged
#65 si5340: implement paged register writes
Merged
#63 pyfastservo: fix adc, dac init script and cleanup
Merged
#61 Use recommended init sequence for si5340
Merged
#55 Fix adc and dac initialization
Merged
#59 Use libmonitor compiled by gnumake
Merged
#58 Use fast-servo csrmap
Merged
#57 Fix incorrect terminology
Merged
#52 Add bitstream loading and run init scripts at boot time
Merged
#56 Rename board specific packages
Merged
#53 Use nix gnu toolchain format for baremetal apps
Merged
#51 Fix linien-server red pitaya dependencies
Merged
#49 Add spidev on device tree
Merged
#47 Add FPGA programming support
Merged
#46 Add fast-servo python init scripts
Merged
#36 Add linien-server package
Merged
#44 Update nixpkgs and use upstream qemu
Merged
#43 linux: add fpga support
Merged
#41 Fix qemu build errors
Merged
#39 Move not-os patches to dedicated folder
Merged
#37 Add fast-servo linien gateware
Merged
#35 Configure shutdown instructions in runit stage 3
Merged
#34 Add nix substituters and update nix.conf
Merged
#33 Set NIX_PATH
Merged
#25 Fix modprobe and nix-path-registration error
Merged
#23 Add SSL certificates
Merged
#22 Remove kernel module bloat
Merged
#21 Replace nameserver
Merged
#20 Fix login errors
Merged
#18 Enable host key generation on first boot
Merged
#17 zynq: configure networking
17 Issues closed from 2 users
Closed
#66 nixos armv7l binary cache is failing
Closed
#64 Si5340 config fails with 'No such device or address' error
Closed
#60 pkgs.writeReferencesToFile is deprecated
Closed
#1 We only need one GCC toolchain
Closed
#48 Fix SPI interface
Closed
#45 Loading bitstream inside linux
Closed
#42 issue with Linux kernel in recent nixpkgs
Closed
#40 Error on QEMU build
Closed
#38 move not-os patches to dedicated folder
Closed
#30 rootfs not properly unmounted on poweroff/reboot
Closed
#27 nix substituter not set
Closed
#26 NIX_PATH not set
Closed
#28 install a text editor by default
Closed
#13 remove kernel module bloat
Closed
#14 login errors
Closed
#16 Resize root partition to the remaining of the SD card on first boot
Closed
#6 Missing privilege separation directory: /var/empty
1 Issue created by 1 user
Opened
#69 mount SD read-only and use overlay ramfs