Arduino Board Manger?

Hey, it’s cold and dark outside and I want to hack my Pixhawk.

I don’t want to run Arducopter but use it as a sketch unit with the Arduino IDE.

Is there a board manager for the Pixhawk so that I can build and load simple sketches on the unit?

Mike