# 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 String. # 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 nand = "nand.elf" #driver driver_boot = "boot.elf" #receive driver_boot / Boot = boot #file kernel = "kernel.raw" #program booter = "booter.elf" #give booter / String = 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 / WString = sdmmc #give sdmmc / Event = sdmmc_gpio #program partition = "partition.elf" #receive partition / WString, 0 = p0 #receive partition / WString, 1 = p1 #receive partition / WString, 2 = p2 #receive partition / WString, 3 = p3 #give partition / WString = sdmmc #program fat = "fat.elf" #receive fat / Directory = root #give fat / WString = p0 #program test = "test.elf" #give test / Directory = root #driver rtc = "rtc.elf"