Skip to content

Instantly share code, notes, and snippets.

Avatar

Falco Peijnenburg FPtje

View GitHub Profile
@FPtje
FPtje / Browser.hs
Created Mar 18, 2019
servant-auth-client-browser code for implementing servant-auth-client using cookies in ghcjs
View Browser.hs
{-# LANGUAGE CPP #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE AutoDeriveTypeable #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
View config
#
# Automatically generated file; DO NOT EDIT.
# Linux/arm 4.8.17 Kernel Configuration
#
CONFIG_ARM=y
CONFIG_ARM_HAS_SG_CHAIN=y
CONFIG_NEED_SG_DMA_LENGTH=y
CONFIG_ARM_DMA_USE_IOMMU=y
CONFIG_ARM_DMA_IOMMU_ALIGNMENT=8
CONFIG_MIGHT_HAVE_PCI=y
View altera-hps2fpga.dts
/dts-v1/;
/ {
fpga-bridge@0 {
target-path = "/soc";
__overlay__ {
#address-cells = <0x1>;
#size-cells = <0x1>;
hps_fpgabridge0: fpgabridge@0 {
compatible = "altr,socfpga-hps2fpga-bridge";
label = "hps2fpga";
@FPtje
FPtje / foo.nix
Created Jan 26, 2017
Raspberry Pi NixOS kernel configs
View foo.nix
linux_4_8 = pkgs.linux_4_8.override {
extraConfig =
''
AUDIT y
BLK_DEV y
BLK_DEV_DM m
BLK_DEV_DM_BUILTIN y
DM_CRYPT m
You can’t perform that action at this time.