Landfall

Annotated conf/landfall-examples/mips-letux400-fbdrv.cfg

135:b0145ae94a49
2021-01-31 Paul Boddie Merged changes from the default branch. idl4re-libipc-libsystypes
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");