Changed PL011 initial baud rate to the same one that Xinu uses
Changed compilation target to the Raspberry Pi hardware
Wrapped all Fluke ARM board code in ifdefs. This may break the ARM Qemu target.
Added a small message to debug timer init.
Initial Raspberry Pi support
Fixed UART initialization deadlock. If the UART is disabled while transmitting, it will be busy until it is re-enabled and suffecient time is given for all characters to be sent. We were waiting for the UART to not be busy AFTER disabling it. Since the kprintf routine had been sending characters out before we entered this routine, a deadlock occurred.
Added ifdefs for FLUKE ARM-specific things. Shouldn't effect arm-qemu. Also removed debug code.
Moved platforminit() to before any serial printing so that alternate GPIO settings could be there before the serial port starts operating. Added a few carraige returns to clean up diagnostic printing. Added a few notes about the Pi on ifdefs.
Changed getc() to kgetc() since that seemed more appropriate. Commented out the wait for pressing @ since kgetc() doesn't seem to be working right now. Fixed up platform variables.
Fixed call to kgetc. Waiting for the user to press the @ key now works.
Slow down the timer to 1 tick per second for debugging. Toggle the LED when the timer goes off.
Slow the timer down to 1 tick per second.
Removed TODO comment.
Added note about UART initialization. Removed incorrect VIC comment. Temporarily disabled the wait for the @.
The Welcome message didn't have a carraige return, so the line below it wasn't left-justified.
Changed PL011 FIFO length to 1 so that receiving would work properly.
Fixed RX FIFO empty check that caused an infinite loop. Removed dead code.
Slowed down the timer because the Raspberry Pi can't keep up with timer interrupts occurring more than ~90 times a second.
Removed debug code.
Removed debug code.