# driver = '' load a file into memory to be run priviledged. # program = '' load a file into memory to be run normally. # file = '' load a file into memory as a Block. # receive / [, ] = prepare to accept a capability from a named program. # sysreq use a capability as the system request keyboard. # give / [, ] = give this capability to this program when it requests it. # include 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. driver driver_gpio = "gpio.elf" receive driver_gpio / Keyboard , 0 = keyboard receive driver_gpio / Keyboard , 1 = sysreq receive driver_gpio / Event = sdmmc_gpio sysreq sysreq #driver driver_nand = "nand.elf" #receive driver_nand / WBlock = nand #driver driver_ums = "usb-mass-storage.elf" #give driver_ums / WBlock = nand #driver driver_boot = "boot.elf" #receive driver_boot / Boot = boot #file kernel = "kernel.raw" #program booter = "booter.elf" #give booter / Block = kernel #give booter / Boot = boot driver driver_lcd = "lcd.elf" receive driver_lcd / Display = display receive driver_lcd / Setting = display_bright driver driver_buzzer = "buzzer.elf" receive driver_buzzer / Buzzer = buzzer program alarm = "alarm.elf" receive alarm / UI = ui 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 #driver sdmmc = "sd+mmc.elf" #receive sdmmc / WBlock = sdmmc #give sdmmc / Event = sdmmc_gpio #program partition = "partition.elf" #receive partition / WBlock, 0 = p0 #receive partition / WBlock, 1 = p1 #receive partition / WBlock, 2 = p2 #receive partition / WBlock, 3 = p3 #give partition / WBlock = sdmmc #program fat = "fat.elf" #receive fat / Directory = root #give fat / WBlock = p0 #program test = "test.elf" #give test / Directory = root #file fontfile = "font.dat" #program font = "font.elf" #receive font / Font = font #give font / Block = fontfile #give font / Display = display #driver driver_rtc = "rtc.elf" #receive driver_rtc / RTC = rtc #driver alarm = "alarm.elf" #give alarm / Keyboard = keyboard #give alarm / Display = display #give alarm / Buzzer = buzzer #give alarm / Font = font #give alarm / RTC = rtc #receive alarm / Event = alarm