hnaderi

#!/usr/bin/env bash

rm /run/systemd/system/nix-daemon.service.d/proxy-override.conf
systemctl daemon-reload
systemctl restart nix-daemon

giuseppe998e

Install NixOS with BTRFS and IN-RAM root

1. Format and partition the hard drive

1. Create the GPT partition table
   • $ parted /dev/sdX mklabel gpt
2. Create the UEFI FAT32 partition (which will be /dev/sdXY)
   • $ parted /dev/sdX mkpart esp fat32 1MiB 512MiB
   • $ parted /dev/sdX set 1 esp on
   • $ parted /dev/sdX set 1 boot on

• $ mkfs.fat -F 32 -n UEFI /dev/sdXY

luochen1990

#!/usr/bin/env nix-shell
#! nix-shell shell.nix

{ pkgs ? import <nixpkgs> {} }:

(pkgs.buildFHSUserEnv {
  name = "devbox";
  targetPkgs = pkgs: (with pkgs; [
    python38
    python38Packages.pip

iwalpola

STM32duino GPIO Registers and programming

Sources:

http://embedded-lab.com/blog/stm32-gpio-ports-insights/
http://hertaville.com/stm32f0-gpio-tutorial-part-1.html

The libmaple libraries, on which STM32duino is based, provides access to registers by the syntax:

GPIOA->regs->REG