He estado desarrollando un pequeño sistema operativo para mi lpc1313fbd48. Estoy enviando todo el código C y de ensamblaje en un archivo binario. Quiero poder llamar a los puertos en C y tener un LED encendido por unos segundos y luego encender mi motor vibrador (ambos están conectados a las IO del microcontrolador). ¿Cómo llamaría a los puertos en C?