expipiplus1
/ gist:6f92a33cf4b0f9dd8d862f44f8b43270
Created
June 4, 2018 15:25
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ 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. |
expipiplus1
/ configuration.nix
Created
June 3, 2018 12:02
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { config, pkgs, ... }: | |
| { | |
| imports = | |
| [ ./hardware-configuration.nix | |
| ]; | |
| boot.loader.grub.enable = false; | |
| boot.loader.generic-extlinux-compatible.enable = true; |
expipiplus1
/ hardware-configuration.nix
Created
June 3, 2018 12:02
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Do not modify this file! It was generated by ‘nixos-generate-config’ | |
| # and may be overwritten by future invocations. Please make changes | |
| # to /etc/nixos/configuration.nix instead. | |
| { config, lib, pkgs, ... }: | |
| { | |
| imports = | |
| [ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> | |
| ]; |
expipiplus1
/ configuration.nix
Created
June 3, 2018 12:02
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { config, pkgs, ... }: | |
| { | |
| imports = | |
| [ ./hardware-configuration.nix | |
| ]; | |
| boot.loader.grub.enable = false; | |
| boot.loader.generic-extlinux-compatible.enable = true; |
expipiplus1
/ slides.html
Created
May 10, 2018 10:56
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="generator" content="pandoc"> | |
| <meta name="author" content="Joe Hermaszewski"> | |
| <title>FPGA Programming with Clash</title> | |
| <meta name="apple-mobile-web-app-capable" content="yes"> | |
| <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no, minimal-ui"> |
expipiplus1
/ Idiom.hs
Created
October 23, 2017 12:41
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE LambdaCase #-} | |
| {-# LANGUAGE ViewPatterns #-} | |
| module Idiom where | |
| import Data.Foldable | |
| import Data.List | |
| import Data.MarkovChain | |
| import System.Environment | |
| import System.Random |
expipiplus1
/ install.sh
Created
October 20, 2017 09:58
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| # This script installs the Nix package manager on your system by | |
| # downloading a binary distribution and running its installer script | |
| # (which in turn creates and populates /nix). | |
| { # Prevent execution if this script was only partially downloaded | |
| oops() { | |
| echo "$0:" "$@" >&2 | |
| exit 1 |
expipiplus1
/ shadowed-deps.patch
Created
October 19, 2017 08:29
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/compiler/main/Packages.hs b/compiler/main/Packages.hs | |
| index 949cc0f231..408794e078 100644 | |
| --- a/compiler/main/Packages.hs | |
| +++ b/compiler/main/Packages.hs | |
| @@ -1339,7 +1339,7 @@ validateDatabase dflags pkg_map1 = | |
| unusable = directly_ignored `Map.union` unusable_ignored | |
| `Map.union` unusable_broken | |
| `Map.union` unusable_cyclic | |
| - `Map.union` unusable_shadowed | |
| + -- `Map.union` unusable_shadowed |
expipiplus1
/ -
Created
October 16, 2017 09:32
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [1;31m- /nix/store/cv05hgb99hwp5mj670mhsbvrcm56jz17-hello-2.10.drv:{out}[0m | |
| [1;32m+ /nix/store/bxcj28bqx4s15pd95mj4q806kj97gcpv-hello-2.10.drv:{out}[0m | |
| • The set of input names do not match: | |
| [1;31m- bash-4.4-p12[0m | |
| [1;32m+ bash-4.3-p46[0m |
expipiplus1
/ test.nix
Created
October 5, 2017 09:03
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let foo = (import <nixpkgs> {}).writeTextFile { | |
| name = "foo"; | |
| text = ''"hello"''; | |
| }; | |
| in import foo |