aboutsummaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-12-06 23:04:57 +0100
committerLudovic Courtès <ludo@gnu.org>2019-12-07 00:29:41 +0100
commitfcbe4f71ca7ab7f8526bd1643044d204390ec6c2 (patch)
treedb96cfea5053097dadd9e8478569794b5ea4c98a /gnu/system
parent2617d956d8ae122128a1ba2cc74983cbd683b042 (diff)
downloadguix-fcbe4f71ca7ab7f8526bd1643044d204390ec6c2.tar.gz
guix-fcbe4f71ca7ab7f8526bd1643044d204390ec6c2.zip
derivations: Add 'derivation-input-fold'.
* guix/derivations.scm (derivation-input-fold): New procedure. (substitution-oracle)[closure]: Rewrite in terms of 'derivation-input-fold'. * tests/derivations.scm ("derivation-input-fold"): New test.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions
3:14:33 +0100'>2019-12-28add ramfs driverWojtek Kosior 2019-12-28another hopefully last change to the format - add terminating null-byte at th...Wojtek Kosior 2019-12-28write the same null-padding loop a saner wayWojtek Kosior 2019-12-28add comments in makefs.cWojtek Kosior 2019-12-28another (hopefully last) change to our fs format - use C-style NULL-terminate...Wojtek Kosior 2019-12-27make int values always 4-aligned in fs imageWojtek Kosior 2019-12-27adjust bootloader's linker script use with newest version of boot.SWojtek Kosior 2019-12-27add userspace tool for creating ramfs imageWojtek Kosior 2019-12-26minor changes to boot codeWojtek Kosior 2019-12-26remove halt loop (not really needed + we want to get rid of pieces of code co...Wojtek Kosior 2019-12-26minor changes (comments, whitespace)Wojtek Kosior 2019-12-26improve linking of initial boot codeWojtek Kosior 2019-12-26improve linking of interruptsWojtek Kosior 2019-12-26simplify linker script; rely on initially-zero memory to be included in binar...Wojtek Kosior 2019-12-26fix linking of libkernelWojtek Kosior 2019-12-26add gitignoreWojtek Kosior 2019-12-24simplify linking of libkernelWojtek Kosior 2019-12-17don't embed stage2 of bootloader as binary blob - use smart section namingWojtek Kosior 2019-12-17add missing newline in outputWojtek Kosior 2019-12-17make things work again on real hw (setting system mode moved to boot.S)Wojtek Kosior 2019-12-17add forgotten libkernel.hWojtek Kosior 2019-12-17add forgotten libkernel.cWojtek Kosior 2019-12-10update TODOsWojtek Kosior 2019-12-10remove old, unneeded uart_puts() callWojtek Kosior 2019-12-10Clean up flags in Makefile a bit.; -fPIC... -fPIC EVERYWHEREWojtek Kosior 2019-12-10re-enter system mode on invalid data access from PL0 codeWojtek Kosior 2019-12-03separate libkernel setus, PL0 code setup and jump to PL0 code into different ...Wojtek Kosior 2019-12-02create a separate library for kernel code that should run in PL0 modeWojtek Kosior 2019-12-02read and write entire volatile struct at once, not it's single fieldsWojtek Kosior 2019-12-02get rid of "cannot find entry symbol _start" warningWojtek Kosior 2019-11-26maintain history of recent progressWojtek Kosior 2019-11-26don't use switch statement with fallthroughWojtek Kosior 2019-11-20merge alice to bobWojtek Kosior 2019-11-19minor editWojtek Kosior 2019-11-19bugfix - properly compute section addressWojtek Kosior