> I am trying to implement a simple demo on sel4 using camkes.
> I need to add some external hardware like sensors to my demo.
> For this purpose I need GPIO programming.
> Could you please point me to some example GPIO components?
We do not have a GPIO component, but we are currently developing one.
However, almost all the hardware related components (TimeServer,
SerialServer) in global-components are just an interface over the
particular drivers in libplatsupport. So developing an GPIO
component for your demo should be fairly easy as long as there are GPIO
drivers for your target platform in libplatsupport.
> Should I add hardware component? or just use <platsupport.GPIO.h> to
> write signal on pins on source files?
You would need a hardware component if the GPIO device requires some
registers and/or interrupts to be mapped in. For an example on creating
a hardware component you could take a look at the CAmkES timer
tutorials. As I mentioned above, if there are GPIO drivers for your
target platform in libplatsupport, you could use the GPIO interfaces
defined in "platsupport/gpio.h". Otherwise, you would have to develop
your own GPIO drivers for your target platform.
I hope this answers your questions, and if you have any other questions
feel free to ask them on the mailing list.
PS: Sorry if you are receiving this again, I sent it out yesterday but
I may have done something wrong as it did not seem to have reached the