2023-11-20T14:18:18Z - 2024-05-20T14:18:18Z
Overview
36 Pull requests merged by 1 user
Merged
#57 Fix incorrect terminology
Merged
#52 Add bitstream loading and run init scripts at boot time
Merged
#56 Rename board specific packages
Merged
#50 Integrate linien-server to not-os
Merged
#54 Configure arm linux toolchain
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
#24 Add fast-servo board support
Merged
#33 Set NIX_PATH
Merged
#31 Install nano as default text editor
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
#19 Resize root partition on first boot and include wget
Merged
#18 Enable host key generation on first boot
Merged
#17 zynq: configure networking
Merged
#10 add not-os disk image builder and qemu
Merged
#15 WIP: Fix missing privilege separation directory: /var/empty
Merged
#11 flake: configure u-boot to autoboot kernel
Merged
#12 add various boot fixes
Merged
#9 flake: use the uImage format for not-os
Merged
#5 flake: fix not-os
Merged
#4 flake: fix mkbootimage
1 Pull request proposed by 1 user
Proposed
#55 Fix adc and dac initialization
18 Issues closed from 2 users
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
Closed
#8 Cannot login
Closed
#7 Missing hostname
Closed
#3 can't build not-os
Closed
#2 can't build boot.bin