# 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 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 / 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"