[PATCH 1/1] rtems: Add rtems_interrupt_server_build()

[Sebastian Huber]

I think the name should be changed to rtems_interrupt_server_create() 
instead of rtems_interrupt_server_build() for a future compatibility 
with rtems_task_build():

https://devel.rtems.org/ticket/3959