Haskus manuals

haskus-system

haskus-system is a framework written in Haskell that can be used for system programming. Fundamentally it is an experiment into providing an integrated interface leveraging Haskell features (type-safety, STM, etc.) for the whole system: input, display, sound, network, etc.

System - Volume 1: building guide

• 1. Introduction
  • 1.1. The big picture
• 2. Discussing the approach
  • 2.1. Portability
  • 2.2. Performance
  • 2.3. Productivity
  • 2.4. Durability and Evolution
  • 2.5. Single Code Base & Integration
  • 2.6. Standards
  • 2.7. Building And Testing
  • 2.8. Proprietary Drivers
• 3. Building systems: the automated way
  • 3.1. Installing haskus-system-build
  • 3.2. Getting started
  • 3.3. Building and Testing
  • 3.4. Distributing and testing on real computers
• 4. Building systems: the manual way
  • 4.1. Building systems
  • 4.2. Creating ramdisks
  • 4.3. Building the Linux kernel
  • 4.4. Testing with QEMU
  • 4.5. Distributing systems
• 5. Reference: system.yaml syntax
  • 5.1. Linux kernel
  • 5.2. Ramdisk
  • 5.3. QEMU
• 6. Reference: haskus-system-build

In volume 2, we describe the high-level interfaces provided by the haskus-system to control and use the computer.

System - Volume 2: programming guide

• 1. The Sys monad
• 2. Device management
  • 2.1. Enumerating Available Devices
  • 2.2. Plug-And-Play (Hot-Pluggable) Devices
  • 2.3. Using Devices
  • 2.4. Device Specific Interfaces
  • 2.5. Implementation notes
• 3. Graphics Overview
  • 3.1. Generalities
  • 3.2. Display Model
  • 3.3. Further Reading

In volume 3, we describe the internals of haskus-system.

System - Volume 3: internals

• 1. Modules Overview
  • 1.1. System interface
  • 1.2. Interface with the Linux kernel
  • 1.3. Formats
  • 1.4. Architectures
• 2. X86 architecture notes
  • 2.1. Instruction list
  • 2.2. Instruction Operands
  • 2.3. Semantics vs Encoding
  • 2.4. Instruction entry point
• 3. X86 encoding
  • 3.1. Mode
  • 3.2. Operation, address and stack sizes
  • 3.3. Full poster

haskus-binary

Binary

• 1. Binary modules
  • 1.1. Word, Int
  • 1.2. Bits
  • 1.3. Buffer
  • 1.4. Structures

haskus-utils

Variant/Flow