# load = '' load a file into memory. Don't use this after killbootthreads. #load session = "session.config" load driver_lcd = "lcd.elf" #load driver_buzzer = "buzzer.elf" #load driver_gpio = "gpio.elf" # load driver_audio = "audio.elf" # load driver_udc = "udc.elf" # load driver_nand = "nand.elf" # load emu_lcd = "emu_display.elf" # load emu_buzzer = "emu_buzzer.elf" # load emu_keyboard = "emu_keyboard.elf" # load emu_audio = "emu_audio.elf" # load emu_udc = "emu_udc.elf" # killbootthreads destroy bootinit, bootfs and bootstore. killbootthreads # receive / [, ] = prepare to accept a capability from a named program. receive driver_lcd / Display = display receive driver_lcd / Setting = display_bright #receive driver_buzzer / Buzzer = buzzer #receive driver_gpio / Keyboard , 0 = keyboard #receive driver_gpio / Keyboard , 1 = sysreq # receive driver_audio / Audio = audio # receive driver_udc / Udc = udc # receive driver_nand / WString = nand # driver run a previously loaded program priviledged. driver driver_lcd #driver driver_buzzer #driver driver_gpio # driver driver_audio # driver driver_udc # driver driver_nand # wait wait until all expected capabilities are received. wait # sysreq use a capability as the system request keyboard. sysreq sysreq # give ( [, ]) = give this capability to this program when it requests it. # give emu_display (display) = display # give emu_display_bright (setting) = display_bright # give emu_buzzer (buzzer) = buzzer # give emu_keyboard (keyboard, 0) = keyboard # give emu_audio (audio) = audio # give emu_udc (udc) = udc # run run a previously loaded program (normally). # run emu_lcd # run emu_buzzer # run emu_keyboard # run emu_audio # run emu_udc # include include a loaded file as another config file. #include session