2010-05-10 02:07:17 +03:00
|
|
|
# driver <name> = '<filename>' load a file into memory to be run priviledged.
|
|
|
|
# program <name> = '<filename>' load a file into memory to be run normally.
|
2010-08-24 00:55:51 +03:00
|
|
|
# file <name> = '<filename>' load a file into memory as a String.
|
2010-08-22 23:03:06 +03:00
|
|
|
# receive <name> / <type> [, <index>] = <cap> prepare to accept a capability from a named program.
|
|
|
|
# sysreq <cap> use a capability as the system request keyboard.
|
|
|
|
# give <name> / <type> [, <index>] = <cap> give this capability to this program when it requests it.
|
|
|
|
# include <file> include a file as another config file.
|
|
|
|
# at end of file, the initial threads are killed and the drivers and programs are run as soon as all their dependencies are provided.
|
|
|
|
|
2010-05-10 02:07:17 +03:00
|
|
|
driver driver_gpio = "gpio.elf"
|
2010-08-22 23:03:06 +03:00
|
|
|
receive driver_gpio / Keyboard , 0 = keyboard
|
|
|
|
receive driver_gpio / Keyboard , 1 = sysreq
|
|
|
|
receive driver_gpio / Event = sdmmc_gpio
|
|
|
|
sysreq sysreq
|
|
|
|
|
2010-09-02 00:27:14 +03:00
|
|
|
driver driver_nand = "nand.elf"
|
|
|
|
receive driver_nand / WBlock = nand
|
|
|
|
|
|
|
|
driver driver_ums = "usb-mass-storage.elf"
|
|
|
|
give driver_ums / WBlock = nand
|
2010-05-01 00:13:49 +03:00
|
|
|
|
2010-08-24 00:55:51 +03:00
|
|
|
#driver driver_boot = "boot.elf"
|
|
|
|
#receive driver_boot / Boot = boot
|
2010-08-22 23:03:06 +03:00
|
|
|
|
2010-08-24 00:55:51 +03:00
|
|
|
#file kernel = "kernel.raw"
|
|
|
|
#program booter = "booter.elf"
|
|
|
|
#give booter / String = kernel
|
|
|
|
#give booter / Boot = boot
|
2010-05-01 00:13:49 +03:00
|
|
|
|
2010-09-02 00:27:14 +03:00
|
|
|
#driver driver_lcd = "lcd.elf"
|
|
|
|
#receive driver_lcd / Display = display
|
|
|
|
#receive driver_lcd / Setting = display_bright
|
2010-05-01 00:13:49 +03:00
|
|
|
|
2010-09-02 00:27:14 +03:00
|
|
|
#driver driver_buzzer = "buzzer.elf"
|
|
|
|
#receive driver_buzzer / Buzzer = buzzer
|
2010-08-24 00:55:51 +03:00
|
|
|
|
2010-09-02 00:27:14 +03:00
|
|
|
#program alarm = "alarm.elf"
|
|
|
|
#receive alarm / UI = ui
|
2010-08-24 00:55:51 +03:00
|
|
|
|
2010-09-02 00:27:14 +03:00
|
|
|
#program gui = "gui.elf"
|
|
|
|
#give gui / UI = ui
|
|
|
|
#give gui / Display = display
|
|
|
|
#give gui / Setting = display_bright
|
|
|
|
#give gui / Buzzer = buzzer
|
|
|
|
#give gui / Keyboard = keyboard
|
2010-08-22 23:03:06 +03:00
|
|
|
|
|
|
|
#driver sdmmc = "sd+mmc.elf"
|
|
|
|
#receive sdmmc / WString = sdmmc
|
2010-08-10 11:09:50 +03:00
|
|
|
#give sdmmc / Event = sdmmc_gpio
|
2010-08-22 23:03:06 +03:00
|
|
|
|
|
|
|
#program partition = "partition.elf"
|
|
|
|
#receive partition / WString, 0 = p0
|
|
|
|
#receive partition / WString, 1 = p1
|
|
|
|
#receive partition / WString, 2 = p2
|
|
|
|
#receive partition / WString, 3 = p3
|
2010-08-10 11:09:50 +03:00
|
|
|
#give partition / WString = sdmmc
|
2010-08-22 23:03:06 +03:00
|
|
|
|
|
|
|
#program fat = "fat.elf"
|
|
|
|
#receive fat / Directory = root
|
2010-08-10 11:09:50 +03:00
|
|
|
#give fat / WString = p0
|
2010-05-01 00:13:49 +03:00
|
|
|
|
2010-08-22 23:03:06 +03:00
|
|
|
#program test = "test.elf"
|
|
|
|
#give test / Directory = root
|
2010-05-01 00:13:49 +03:00
|
|
|
|
2010-08-22 23:03:06 +03:00
|
|
|
#driver rtc = "rtc.elf"
|