paul@0 | 1 | -- vim: ft=lua ts=2 et sw=2 |
paul@0 | 2 | |
paul@0 | 3 | -- Start the framebuffer driver with supporting devices. |
paul@0 | 4 | -- The target platform is the Letux 400 notebook computer. |
paul@0 | 5 | |
paul@0 | 6 | local L4 = require("L4"); |
paul@0 | 7 | |
paul@0 | 8 | local l = L4.default_loader; |
paul@0 | 9 | |
paul@0 | 10 | -- Define general access to peripherals. |
paul@0 | 11 | |
paul@0 | 12 | local io_buses = { |
paul@0 | 13 | cpm = l:new_channel(); |
paul@0 | 14 | gpio = l:new_channel(); |
paul@0 | 15 | lcd = l:new_channel(); |
paul@0 | 16 | pwm = l:new_channel(); -- exposes GPIO, PWM |
paul@0 | 17 | }; |
paul@0 | 18 | |
paul@0 | 19 | l:start({ |
paul@0 | 20 | caps = { |
paul@0 | 21 | cpm = io_buses.cpm:svr(), |
paul@0 | 22 | gpio = io_buses.gpio:svr(), |
paul@0 | 23 | lcd = io_buses.lcd:svr(), |
paul@0 | 24 | pwm = io_buses.pwm:svr(), |
paul@0 | 25 | |
paul@0 | 26 | icu = L4.Env.icu, |
paul@0 | 27 | sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), |
paul@0 | 28 | }, |
paul@0 | 29 | }, |
paul@7 | 30 | "rom/io rom/hw_devices.io rom/mips-letux400-common.io"); |
paul@0 | 31 | |
paul@0 | 32 | -- Expose a PWM peripheral as a device. |
paul@0 | 33 | |
paul@0 | 34 | local pwm = l:new_channel(); |
paul@0 | 35 | |
paul@0 | 36 | l:startv({ |
paul@0 | 37 | caps = { |
paul@0 | 38 | vbus = io_buses.pwm, |
paul@0 | 39 | pwm = pwm:svr(), |
paul@0 | 40 | }, |
paul@0 | 41 | }, |
paul@0 | 42 | "rom/dev_pwm_jz4730", "0", "250", "299", "47"); -- specifying peripheral number, parameters |
paul@0 | 43 | |
paul@0 | 44 | -- Expose a PWM backlight device. |
paul@0 | 45 | |
paul@0 | 46 | local backlight = l:new_channel(); -- exposes backlight device |
paul@0 | 47 | |
paul@0 | 48 | l:startv({ |
paul@0 | 49 | caps = { |
paul@0 | 50 | pwm = pwm, |
paul@0 | 51 | backlight = backlight:svr(), |
paul@0 | 52 | }, |
paul@0 | 53 | }, |
paul@0 | 54 | "rom/dev_backlight_pwm", "0", "300"); -- specifying limits |
paul@0 | 55 | |
paul@0 | 56 | -- Expose a display device for the Letux. |
paul@0 | 57 | |
paul@0 | 58 | local display = l:new_channel(); -- exposes display device |
paul@0 | 59 | |
paul@0 | 60 | l:start({ |
paul@0 | 61 | caps = { |
paul@0 | 62 | backlight = backlight, |
paul@0 | 63 | display = display:svr(), |
paul@0 | 64 | vbus = io_buses.gpio, |
paul@0 | 65 | }, |
paul@0 | 66 | }, |
paul@0 | 67 | "rom/dev_display_letux400"); |
paul@0 | 68 | |
paul@0 | 69 | -- Expose the CPM peripheral. |
paul@0 | 70 | |
paul@0 | 71 | local cpm = l:new_channel(); |
paul@0 | 72 | |
paul@0 | 73 | l:start({ |
paul@0 | 74 | caps = { |
paul@0 | 75 | vbus = io_buses.cpm, |
paul@0 | 76 | cpm = cpm:svr(), |
paul@0 | 77 | }, |
paul@0 | 78 | }, |
paul@0 | 79 | "rom/dev_cpm_jz4730"); |
paul@0 | 80 | |
paul@0 | 81 | -- Expose a framebuffer device. |
paul@0 | 82 | |
paul@0 | 83 | local fbdrv_fb = l:new_channel(); |
paul@0 | 84 | |
paul@0 | 85 | l:start({ |
paul@0 | 86 | caps = { |
paul@0 | 87 | vbus = io_buses.lcd, |
paul@0 | 88 | fb = fbdrv_fb:svr(), |
paul@0 | 89 | cpm = cpm, |
paul@0 | 90 | display = display, -- needed by LCD driver |
paul@0 | 91 | }, |
paul@0 | 92 | }, |
paul@0 | 93 | "rom/fb-drv"); |