Falco Peijnenburg FPtje

FPtje / Browser.hs

Created March 18, 2019 10:34

servant-auth-client-browser code for implementing servant-auth-client using cookies in ghcjs

	{-# LANGUAGE CPP #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE AutoDeriveTypeable #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE KindSignatures #-}

FPtje / config

Created February 20, 2017 15:39

FPGA: Result of https://github.com/ikwzm/FPGA-SoC-Linux/issues/2#issuecomment-281110409

	#
	# 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

FPtje / altera-hps2fpga.dts

Created February 20, 2017 13:43

Altera FPGA: Output of command in this comment: https://github.com/ikwzm/FPGA-SoC-Linux/issues/2#issuecomment-281081132

	/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 / foo.nix

Created January 26, 2017 13:21

Raspberry Pi NixOS kernel configs