Root/
| 1 | # driver <name> = '<filename>' load a file into memory to be run priviledged. |
| 2 | # program <name> = '<filename>' load a file into memory to be run normally. |
| 3 | # file <name> = '<filename>' load a file into memory as a String. |
| 4 | # receive <name> / <type> [, <index>] = <cap> prepare to accept a capability from a named program. |
| 5 | # sysreq <cap> use a capability as the system request keyboard. |
| 6 | # give <name> / <type> [, <index>] = <cap> give this capability to this program when it requests it. |
| 7 | # include <file> include a file as another config file. |
| 8 | # at end of file, the initial threads are killed and the drivers and programs are run as soon as all their dependencies are provided. |
| 9 | |
| 10 | driver driver_gpio = "gpio.elf" |
| 11 | receive driver_gpio / Keyboard , 0 = keyboard |
| 12 | receive driver_gpio / Keyboard , 1 = sysreq |
| 13 | receive driver_gpio / Event = sdmmc_gpio |
| 14 | sysreq sysreq |
| 15 | |
| 16 | #driver driver_nand = "nand.elf" |
| 17 | #receive driver_nand / WBlock = nand |
| 18 | |
| 19 | #driver driver_ums = "usb-mass-storage.elf" |
| 20 | #give driver_ums / WBlock = nand |
| 21 | |
| 22 | #driver driver_boot = "boot.elf" |
| 23 | #receive driver_boot / Boot = boot |
| 24 | |
| 25 | #file kernel = "kernel.raw" |
| 26 | #program booter = "booter.elf" |
| 27 | #give booter / String = kernel |
| 28 | #give booter / Boot = boot |
| 29 | |
| 30 | driver driver_lcd = "lcd.elf" |
| 31 | receive driver_lcd / Display = display |
| 32 | receive driver_lcd / Setting = display_bright |
| 33 | |
| 34 | driver driver_buzzer = "buzzer.elf" |
| 35 | receive driver_buzzer / Buzzer = buzzer |
| 36 | |
| 37 | program alarm = "alarm.elf" |
| 38 | receive alarm / UI = ui |
| 39 | |
| 40 | program gui = "gui.elf" |
| 41 | give gui / UI = ui |
| 42 | give gui / Display = display |
| 43 | give gui / Setting = display_bright |
| 44 | give gui / Buzzer = buzzer |
| 45 | give gui / Keyboard = keyboard |
| 46 | |
| 47 | #driver sdmmc = "sd+mmc.elf" |
| 48 | #receive sdmmc / WString = sdmmc |
| 49 | #give sdmmc / Event = sdmmc_gpio |
| 50 | |
| 51 | #program partition = "partition.elf" |
| 52 | #receive partition / WString, 0 = p0 |
| 53 | #receive partition / WString, 1 = p1 |
| 54 | #receive partition / WString, 2 = p2 |
| 55 | #receive partition / WString, 3 = p3 |
| 56 | #give partition / WString = sdmmc |
| 57 | |
| 58 | #program fat = "fat.elf" |
| 59 | #receive fat / Directory = root |
| 60 | #give fat / WString = p0 |
| 61 | |
| 62 | #program test = "test.elf" |
| 63 | #give test / Directory = root |
| 64 | |
| 65 | #driver rtc = "rtc.elf" |
| 66 |
Branches:
master
