Skip to content

Instantly share code, notes, and snippets.

@TOTBWF
TOTBWF / Fixpoint.agda
Last active June 10, 2021 14:36
Agda proof of the Knaster-Tarski Fixpoint Theorem
-- A proof of the Knaster-Tarski Fixpoint Theorem
-- See https://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem
module Fixpoint where
open import Level
open import Data.Product
open import Relation.Binary
open import Relation.Binary.Morphism
@vegard
vegard / kernel-dev.md
Last active May 17, 2024 06:23
Getting started with Linux kernel development

Getting started with Linux kernel development

Prerequisites

The Linux kernel is written in C, so you should have at least a basic understanding of C before diving into kernel work. You don't need expert level C knowledge, since you can always pick some things up underway, but it certainly helps to know the language and to have written some userspace C programs already.

It will also help to be a Linux user. If you have never used Linux before, it's probably a good idea to download a distro and get comfortable with it before you start doing kernel work.

Lastly, knowing git is not actually required, but can really help you (since you can dig through changelogs and search for information you'll need). At a minimum you should probably be able to clone the git repository to a local directory.