HelenOS sources

BCM2835_UART0_CR  143 boot/arch/arm32/src/putchar.c 	write32(BCM2835_UART0_CR, 0x0);		/* Disable UART */
BCM2835_UART0_CR  150 boot/arch/arm32/src/putchar.c 	write32(BCM2835_UART0_CR,
HelenOS homepage, sources at GitHub