Install Nix Packet Manager: bf-sde-nixpkgs developed by Alexander Gall

# NOTE: This installation needs to be performed on a real device, such as, on EdgeCore Wedge100BF-32QS switch

# 1. Deactivate RARE
# This stops all systemd services and unloads the SDE kernel module.
root@wedge:~# sudo su -
root@wedge:~# release-manager --deactivate
 
# 2. In /etc/nix/nix.conf comment out (with "#") the lines:
extra-substituters = https://cache.nixos.org http://p4.cache.nix.net.switch.ch
trusted-substituters = https://cache.nixos.org http://p4.cache.nix.net.switch.ch
trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= p4.cache.nix.net.switch.ch:cR3VMGz/gdZIdBIaUuh42clnVi5OS1McaiJwFTn5X5g=

# then add the lines
 
extra-substituters = http://cache.nix.net.switch.ch
trusted-substituters = http://cache.nix.net.switch.ch
trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= cache.nix.net.switch.ch:rNtCetlML0Opg0HkYQQmtY0f0K3RZDnNw1SJkmvl7Cw=
 
# Verify that the file looks like this:
root@wedge:~# cat /etc/nix/nix.conf
build-users-group = nixbld
#extra-substituters = https://cache.nixos.org http://p4.cache.nix.net.switch.ch 
#trusted-substituters = https://cache.nixos.org http://p4.cache.nix.net.switch.ch 
#trusted-public-keys = cache.nixos.org-1:6NC:HdD59X431o0gWypbMrAURkbJ16ZPMQfspcDShjY= p4.cache.nix.net.switch.ch:cR3V=
extra-substituters = http://cache.nix.net.switch.ch
trusted-substituters = http://cache.nix.net.switch.ch
trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= cache.nix.net.switch.ch:rNtCetlM 

# 3. Restart the Nix daemon
root@wedge:~# systemctl restart nix-daemon
 
# 4. Install git and make Debian packages
root@wedge:~# sudo apt-get install git make
 
# Change to main board CPU
# User: rare
# Password: rare
root@ninja:/home/mmisamor# ssh rare@128.141.50.184
rare@wedge:~$ 

# 5. Clone SDE Git Repo
rare@wedge:~$ git clone https://github.com/alexandergall/bf-sde-nixpkgs.git
rare@wedge:~$ cd bf-sde-nixpkgs
 
# 6. Start the development shell and load the kernel module
rare@wedge:~/bf-sde-nixpkgs$ make env ---> do this for every new terminal
[nix-shell(SDE-9.6.0):~/bf-sde-nixpkgs]$ 
[nix-shell(SDE-9.6.0):~/bf-sde-nixpkgs]$ sudo $(type -p bf_kpkt_mod_load)
 
Start developing :)