[PATCH v2] rtems: Add rtems_interrupt_server_create()

[Sebastian Huber]

On 01/08/2020 01:53, Chris Johns wrote:

> OK for the 5 branch.
Thanks for having a look at it.
>
> Will there be an update to the configuration section in the Classic API manual?

My goal is to add this API to the Interrupt Manager chapter of the 
Classic API Guide. I am not sure what you want to add to the 
configuration section?

Another question, should I rename the rtems_interrupt_server_destroy() 
in rtems_interrupt_server_delete()? This is more in line with 
rtems_task_create() and rtems_task_delete().