====================================================================
The plex86 directory tree is structured as follows:
plex86 root directory for plex86
|
|--- kernel contains the sources for the
| | plex86 kernel driver
| |
| `--- include contains header files for the
| plex86 kernel driver
|
|--- user contains the sources for the
| | user-level VM monitor
| |
| `--- plugins contains the sources for the plugins
| |
| |--- bios BIOS plugin; loads executable and init VGA
| |--- ice ICE plugin; for using remote GDB
| `--- bochs BOCHS plugin; contains emulated
| hardware devices, and GUI code
|
|--- guest contains several simple kernels for
| | testing VM functionality as it is added
| |
| |--- virtcode simple non-multitasking kernel (shell)
| |--- cooperative simple cooperative multitasking kernel
| |--- preemptive simple preemptive multitasking kernel
| |--- paging same as preemptive, but with paging
| `--- test small testkernel for scan-before-execute
|
|
|--- bios system ROM BIOS
|
|--- misc contains miscellaneous files
|
|
`--- docs contains plex86 documentation
|
|--- sgml documentation sources in SGML format
|--- html documentation sources in HTML format
|--- txt documentation sources in plain text
`--- output the compiled versions of the docs
Things have been kept modularized regarding the host OS.
Anything OS specific should be put in "kernel/host-xyz.c"
or "kernel/include/host-xyz.h".
====================================================================