#pypp 0
// vim: set filetype=cpp ://
// Iris: micro-kernel for a capability-based operating system.
// mips/nanonote/board.ccp: nanonote-specific definitions.
// Copyright 2009 Bas Wijnen <wijnen@debian.org>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

#define ARCH
#define INIT
#include "kernel.hh"

void board_init ():
	pll_init ()
	// Stop all clocks, except the RTC and timer interrupt source.
	CPM_CLKGR = 0x7fff & ~(CPM_CLKGR_RTC | CPM_CLKGR_TCU)
	// Make sure the rtc is able to boot the device.
	while !rtc_write_ready ():
	rtc_enabled ()
	while !rtc_write_ready ():
	// Set wakeup assertion time, so it actually wakes up.
	rtc_set_hrcr_val (0xfe0)
	while !rtc_write_ready ():
	// Set glitch detection to a low value.
	rtc_set_hwfcr_val (0x1e0)
	while !rtc_write_ready ():
	// Allow rtc alarm to wake up device.
	rtc_enable_alarm_wakeup ()
	while !rtc_write_ready ():
	// sdram memory.
	gpio_as_sdram_16bit ()
	// flash memory.
	gpio_as_nand ()
	// sound controller.
	gpio_as_aic ()
	// micro-sd controller.
	gpio_as_msc ()
	// display.
	gpio_as_lcd_16bit ()
	// buzzer.
	gpio_as_pwm4 ()
	// Set up memory.
	setup_sdram ()
	// Use some gpio pins for lcd.
	gpio_as_gpio (2, (1 << 21) | (1 << 22) | (1 << 23))
	gpio_as_output (2, (1 << 21) | (1 << 22) | (1 << 23))
	// And some for sd/mmc.
	gpio_as_gpio (3, (1 << 0) | (1 << 2))
	gpio_as_output (3, 1 << 2)
	gpio_as_input (3, 1 << 0)
	gpio_disable_pull (3, (1 << 0) | (1 << 2))
	// Disable power to sd/mmc by default.
	gpio_set (3, 1 << 2)
	// Set up timed interrupts.
	tcu_start_timer_clock (0)
	tcu_stop_counter (0)
	tcu_select_extalclk (0)
	tcu_select_clk_div4 (0)
	tcu_disable_pwm_output (0)
	tcu_set_full_data (0, JZ_EXTAL / HZ / 4)
	tcu_mask_half_match_irq (0)
	tcu_clear_full_match_flag (0)
	tcu_unmask_full_match_irq (0)
	tcu_start_counter (0)
	#ifndef NDEBUG
	setup_uart (true)
	kdebug ("\n\nSerial port initialized\n")
	#endif

static void sync_serial ():
	#ifndef NDEBUG
	// Wait for serial port to be done.
	while !(UART0_LSR & UARTLSR_TEMT):
	#endif

void arch_reboot ():
	sync_serial ()
	// Reboot.
	wdt_select_extalclk ()
	wdt_select_clk_div1 ()
	wdt_set_data (1)
	wdt_set_count (0)
	wdt_start ()
	// Wait for wdt to trigger reboot.
	while true:

void arch_poweroff ():
	// Make sure the rtc is running; it wakes the device up.
	cpm_start_rtc ()
	while !rtc_write_ready ():
	rtc_enabled ()
	while !rtc_write_ready ():
	rtc_set_hwfcr_val (0x1e0)
	while !rtc_write_ready ():
	rtc_set_hrcr_val (0x7f)
	while !rtc_write_ready ():
	kdebug ("Power down.\n")
	sync_serial ()
	rtc_power_down ()
	// Wait for power down to work.
	while true:
		asm ("wait")

void arch_suspend ():
	sync_serial ()
	// Suspend the system: go into SLEEP mode.
	cpm_sleep_mode ()
	asm ("wait")
	cpm_idle_mode ()

// Boot into another kernel.
void arch_boot (unsigned address, unsigned arg):
	sync_serial ()
	arch_flush_cache ()
	((void (*)(unsigned))address) (arg)