1.1 --- a/pkg/devices/cpm/src/server/cpm-server.cc Sat Jun 13 21:07:58 2020 +0200
1.2 +++ b/pkg/devices/cpm/src/server/cpm-server.cc Tue Jun 16 23:24:32 2020 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Common CPM server functionality.
1.6 *
1.7 - * Copyright (C) 2018 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2020 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -43,6 +43,24 @@
1.13 case L4::Meta::Protocol:
1.14 return L4::Util::handle_meta_request<Cpm_device_interface>(ios);
1.15
1.16 + case Cpm_op_get_lcd_pixel_frequency:
1.17 + ios << _chip->get_lcd_pixel_frequency();
1.18 + return L4_EOK;
1.19 +
1.20 + case Cpm_op_set_hdmi_frequency:
1.21 + uint32_t frequency;
1.22 + ios >> frequency;
1.23 + _chip->set_hdmi_frequency(frequency);
1.24 + return L4_EOK;
1.25 +
1.26 + case Cpm_op_start_hdmi:
1.27 + _chip->start_hdmi();
1.28 + return L4_EOK;
1.29 +
1.30 + case Cpm_op_stop_hdmi:
1.31 + _chip->stop_hdmi();
1.32 + return L4_EOK;
1.33 +
1.34 case Cpm_op_set_lcd_frequencies:
1.35 uint32_t pclk;
1.36 int multiplier;