Skip to content

Instantly share code, notes, and snippets.

Avatar
🙀
Trying to `fix error` in Haskell

Ellie Hermaszewska expipiplus1

🙀
Trying to `fix error` in Haskell
View GitHub Profile
View minio.nix
{ config, pkgs, ... }:
let
minio-dir = "/data/minio";
minio-data = "${minio-dir}/data";
minio-config = "${minio-dir}/config";
minio-port = "9002";
region = "ap-southeast-1";
# This bucket will be present in the instance
View pals
Sweet hibiscus
Edeltanne
Red fir
Amoeba
Horseface loach
Hawk moth
Macaw palm
Green stink bug
African jacana
Neotropical harvestman
View gist:2a49a40dc8dd37e396a7a0e996d5842e
{-# LANGUAGE LambdaCase #-}
module Main where
import Data.Traversable
import System.Environment
import Data.Foldable
data A
= N
View fpga.dts
/dts-v1/;
/plugin/;
/ {
fragment@0 {
target-path = "/soc/base_fpga_region";
#address-cells = <1>;
#size-cells = <1>;
__overlay__ {
#address-cells = <1>;
#size-cells = <1>;
View 2nd-session.md

A quick recap of where we got to:

The party was contracted by the dwarf Gundren Rockseeker to deliver intact a cartload of provisions from Neverwinter to the town of Phandalin. Gundren claimed to have discovered "something big" near Phandalin and went ahead of the party.

On the way to Phandalin, with about one day's march remaining, the party was ambushed by goblins who were quickly dispatched. One goblin was taken prisoner and cruelly interrogated; he revealed the existence of

View gist:3fd37887ed990c554a7ae8d6d9b82032
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
View gist:c7cf891ed27e69e15f4d6d9d87c50f69
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
View gist:b34a5b744cf84a7b8bcf7c59dbec0b26
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
View gist:6f92a33cf4b0f9dd8d862f44f8b43270
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
View configuration.nix
{ config, pkgs, ... }:
{
imports =
[ ./hardware-configuration.nix
];
boot.loader.grub.enable = false;
boot.loader.generic-extlinux-compatible.enable = true;