Tomas Hruby 45badf4c05 ACPI in kernel ...

- the ability for kernel to use ACPI tables to detect IO APICs. It is
  the bare minimum the kernel needs to know about ACPI tables.

- it will be used to find out about processors as the MPS tables are
  deprecated by ACPI and not all vendorsprovide them.

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

benchmarks

only check local benchmark dir if it exists

2010-02-04 18:15:10 +00:00

boot

Boot monitor shouldn't report memory after 4GB; the addresses are wrong and VM can't deal with it anyways

2010-08-12 13:44:47 +00:00

commands

make service look in /etc/system.conf.d/<progname> first for config file.

2010-08-31 14:33:31 +00:00

docs

update /etc on make world

2010-08-27 10:09:06 +00:00

drivers

Shutdown changes for multiboot: CTRL-ALT-DEL resets, panic halts

2010-08-30 19:01:58 +00:00

etc

make service look in /etc/system.conf.d/<progname> first for config file.

2010-08-31 14:33:31 +00:00

include

make service look in /etc/system.conf.d/<progname> first for config file.

2010-08-31 14:33:31 +00:00

kernel

ACPI in kernel

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

lib

- Add support for file descriptor passing to PFS.

2010-08-30 13:46:44 +00:00

man

Shutdown changes for multiboot: CTRL-ALT-DEL resets, panic halts

2010-08-30 19:01:58 +00:00

servers

- Return ENOENT when trying to add files to removed (but open) directories.

2010-09-01 09:07:18 +00:00

share

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

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

test

Clean up the created temp file after running the test.

2010-09-02 09:33:37 +00:00

tools

tools/Makefile uses padtext only when building with ack

2010-09-01 07:46:51 +00:00

LICENSE

Fix parameter parsing in cut

2010-01-21 10:16:05 +00:00

Makefile

removed redundant includes dependency from gnu-libraries.

2010-09-01 18:48:47 +00:00

Description

A fun microkernel meant to match modern usecases

GPL-3.0 148 MiB

Languages

C 78.2%

Roff 10.2%

Assembly 4.6%

Shell 3.7%

Makefile 1.6%

Other 1.2%