turbinenreiter

"""
Micro Python driver for SD cards using SPI bus.

Requires an SPI bus and a CS pin.  Provides readblocks and writeblocks
methods so the device can be mounted as a filesystem.

Example usage on pyboard:

    import pyb, sdcard, os
    sd = sdcard.SDCard(pyb.SPI(1), pyb.Pin.board.X5)

turbinenreiter

+ BOARD=stm32f4_disco
+ export ZEPHYR_BASE=/home/plam/Projects/zephyr
+ ZEPHYR_BASE=/home/plam/Projects/zephyr
+ '[' /home/plam/Projects/zephyr == PLEASE_SET_ZEPHYR_BASE ']'
+++ dirname build.sh
++ cd .
++ pwd
+ DIR=/home/plam/Projects/kotlin-native/samples/zephyr
+ source /home/plam/Projects/kotlin-native/samples/zephyr/../konan.sh
++ '[' -z '' ']'

turbinenreiter

warning: IMPORTANT: the library format is unstable now. It can change with any new git commit without warning!
package platform.zephyr.stm32f4_disco {
    class ADC_AnalogWDGConfTypeDef (rawPtr: NativePtr) : CStructVar {
        var Channel: Int
        var HighThreshold: Int
        var ITMode: Int
        var LowThreshold: Int
        var WatchdogMode: Int
        var WatchdogNumber: Int
        companion object   : Type

turbinenreiter

#lang racket

(require markdown)
(require web-server/servlet)
(provide/contract (start (request? . -> . response?)))

(define (article-fnames path-to-articles)
  (directory-list (string->path path-to-articles)))

(define (article-paths path-to-articles article-fnames)