Tomas Hruby 2440ffae49 Kernel exports DSDP and apic_enabled in machine structure ...

- kernel exports DSDP (the root pointer where ACPI parsing starts) and
  apic_enabled in the machine structure.

- ACPI driver uses DSDP to locate ACPI in memory. acpi_enabled tell
  PCI driver to query ACPI for IRQ routing information.

2010-09-02 15:43:56 +00:00

..

arch/i386

Kernel exports DSDP and apic_enabled in machine structure

2010-09-02 15:43:56 +00:00

system

kernel: fix case of EAX getting clobbered after sigreturn.

2010-07-20 17:10:09 +00:00

clock.c

scheduling - time quantum in miliseconds

2010-05-25 08:06:14 +00:00

clock.h

scheduling - time quantum in miliseconds

2010-05-25 08:06:14 +00:00

config.h

Kernel supports up to 64 IRQs

2010-09-02 15:43:54 +00:00

const.h

Fixed brackets in bitmap macros

2010-03-30 08:34:33 +00:00

debug.c

RS crash recovery support.

2010-07-06 22:05:21 +00:00

debug.h

RS live update support.

2010-07-09 18:29:04 +00:00

extract-errno.sh

Optional IPC logging

2010-06-24 13:31:40 +00:00

extract-mfield.sh

Optional IPC logging

2010-06-24 13:31:40 +00:00

extract-mtype.sh

Optional IPC logging

2010-06-24 13:31:40 +00:00

glo.h

kernel - prettier output for ipc errors, call names instead of trap numbers

2010-07-16 15:36:29 +00:00

interrupt.c

kernel: print spurious interrupt message with increasing interval.

2010-05-08 17:21:37 +00:00

ipc.h

Set IPC status code only for RECEIVE

2010-04-26 14:43:59 +00:00

kernel.h

Move MIN() and MAX() macros to sys/params.h

2010-08-21 13:10:41 +00:00

main.c

Zero out to three stack dwords to fix boot errors

2010-08-24 12:51:11 +00:00

Makefile

gcc compiles - add -fno-builtin so that gcc optimisations don't break things.

2010-08-31 16:42:44 +00:00

perf.h

Give RS a page table.

2010-06-28 22:07:49 +00:00

priv.h

Dynamic configuration in system.conf for boot system services.

2010-07-13 21:11:44 +00:00

proc.c

kernel: deadlock test with endpoints instead of slot numbers, slightly cleaner

2010-07-28 14:14:06 +00:00

proc.h

kernel: fix case of EAX getting clobbered after sigreturn.

2010-07-20 17:10:09 +00:00

profile.c

remove intr_disabled() as interrupts are always disabled in the kernel now.

2010-04-26 15:32:42 +00:00

profile.h

cprofile not conditional

2009-01-09 21:44:52 +00:00

proto.h

Fixed warning noreturn function returns in arch_system.c

2010-08-06 12:48:26 +00:00

start.c

kernel: oxpcie serial card support.

2010-05-19 10:00:02 +00:00

system.c

Scheduling parameters out of the kernel.

2010-07-13 15:30:17 +00:00

system.h

KCall methods do not depend on m_source and m_type fields

2010-06-01 08:54:31 +00:00

table.c

Scheduling parameters out of the kernel.

2010-07-13 15:30:17 +00:00

type.h

Scheduling parameters out of the kernel.

2010-07-13 15:30:17 +00:00

utility.c

More endpoint_t correctness.

2010-06-08 14:09:18 +00:00

vm.h

No linear addresses in message delivery

2010-06-11 08:16:10 +00:00

watchdog.c

Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.

2010-04-22 07:49:40 +00:00

watchdog.h

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00