/kernel/trunk/contrib/conf/gxemul.sh |
---|
1,4 → 1,3 |
#!/bin/sh |
# Uspace addresses outside of normal memory (kernel has std. 8 or 16MB) |
# we place the pages at 24M |
gxemul $@ -E testmips -X image.boot |
gxemul $@ -E testmips -X image.boot |
/kernel/trunk/genarch/src/i8042/i8042.c |
---|
26,10 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup genarch |
/** @addtogroup genarch |
* @{ |
*/ |
/** @file |
/** |
* @file i8042.c |
* @brief i8042 processor driver. |
* |
* It takes care of low-level keyboard functions. |
*/ |
#include <genarch/i8042/i8042.h> |
45,12 → 49,7 |
#include <macros.h> |
#include <interrupt.h> |
/** |
* i8042 processor driver. |
* It takes care of low-level keyboard functions. |
*/ |
/** Keyboard commands. */ |
/* Keyboard commands. */ |
#define KBD_ENABLE 0xf4 |
#define KBD_DISABLE 0xf5 |
#define KBD_ACK 0xfa |
575,6 → 574,6 |
} |
} |
/** @} |
/** @} |
*/ |
/kernel/trunk/arch/mips32/src/exception.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup mips32 |
/** @addtogroup mips32 |
* @{ |
*/ |
/** @file |
172,6 → 172,6 |
exc_register(EXC_Sys, "syscall", (iroutine) syscall_exception); |
} |
/** @} |
/** @} |
*/ |
/kernel/trunk/arch/ia32/src/drivers/vesa.c |
---|
26,10 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief VESA frame buffer driver. |
*/ |
#ifdef CONFIG_FB |
70,6 → 72,5 |
#endif |
/** @} |
/** @} |
*/ |
/kernel/trunk/arch/ia32/src/drivers/i8259.c |
---|
26,10 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief PIC driver. |
* |
* Programmable Interrupt Controller for UP systems based on i8259 chip. |
*/ |
#include <arch/drivers/i8259.h> |
40,11 → 44,6 |
#include <print.h> |
#include <interrupt.h> |
/* |
* This is the PIC driver. |
* Programmable Interrupt Controller for UP systems. |
*/ |
static void pic_spurious(int n, istate_t *istate); |
void i8259_init(void) |
131,6 → 130,5 |
#endif |
} |
/** @} |
/** @} |
*/ |
/kernel/trunk/arch/ia32/src/drivers/i8254.c |
---|
26,10 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief i8254 chip driver. |
* |
* Low level time functions. |
*/ |
#include <arch/types.h> |
47,15 → 51,9 |
#include <time/delay.h> |
#include <interrupt.h> |
/* |
* i8254 chip driver. |
* Low level time functions. |
*/ |
#define CLK_PORT1 0x40 |
#define CLK_PORT4 0x43 |
#define CLK_CONST 1193180 |
#define MAGIC_NUMBER 1194 |
137,6 → 135,5 |
clock(); |
} |
/** @} |
/** @} |
*/ |
/kernel/trunk/arch/ia32/src/drivers/ega.c |
---|
26,10 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief EGA driver. |
*/ |
#include <arch/drivers/ega.h> |
144,6 → 146,5 |
outb(0x3d5, ega_cursor & 0xff); |
} |
/** @} |
/** @} |
*/ |