97 lines
3.3 KiB
Plaintext
97 lines
3.3 KiB
Plaintext
Title: Microkernel footprint project
|
|
|
|
Description:
|
|
|
|
This project is designed to characterize the memory requirements of a
|
|
standard microkernel image running on a Pentium4 target.
|
|
|
|
|
|
The project can be built using several configurations:
|
|
|
|
minimal (a "do nothing" image that has support for few kernel capabilities)
|
|
-------
|
|
- Idle task is only task in system.
|
|
- K_swapper is only fiber in system.
|
|
- No system timer support.
|
|
- ISR for the spurious interrupt handling is present.
|
|
- IDT and stack memory sizes are very limited.
|
|
- Provides support for 2 task priorities.
|
|
|
|
regular (a "typical" image that has support for some kernel capabilities)
|
|
-------
|
|
- As for "minimal" configuration, except as noted below.
|
|
- Supports larger IDT and utilizes larger stacks.
|
|
- A statically linked dummy ISR is present.
|
|
- Has "foreground" task that prints a message to the console via printk().
|
|
- Provides support for 16 task priorities.
|
|
- Supports system timer, along with task scheduler support for time slicing.
|
|
- Links in support for EVENT, MUTEX, FIFO, and MAP objects.
|
|
|
|
maximal (a "complex" image that has support for many kernel capabilities)
|
|
-------
|
|
- As for "regular" configuration, except as noted below.
|
|
- Supports full IDT and utilizes even larger stacks.
|
|
- Provides support for 64 task priorities.
|
|
- Foreground task dynamically links in the dummy ISR, rather than having
|
|
it statically linked.
|
|
- Foreground task prints a message to the console via printf(),
|
|
rather than printk().
|
|
- Links in support for SEMAPHORE, PIPE, MAILBOX, and POOL objects.
|
|
- Links in support for task device interrupt handling and additional task APIs.
|
|
- Adds advanced power management support (including tickless idle).
|
|
- Adds floating point support (for x87 FPU, including SSE).
|
|
|
|
|
|
NOTE:
|
|
- These configurations utilize standard security only.
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
Building and Running Project:
|
|
|
|
This microkernel project does not generate any output in the default case
|
|
(TEST=min). In the regular case (TEST=reg) and the maximal case (TEST=max),
|
|
it outputs to the console. It can be built and executed on QEMU as follows:
|
|
|
|
make pristine
|
|
make TEST=min microkernel.qemu (minimal configuration)
|
|
|
|
make pristine
|
|
make TEST=reg microkernel.qemu (regular configuration)
|
|
|
|
make pristine
|
|
make TEST=max microkernel.qemu (maximal configuration)
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
Sample Output:
|
|
|
|
The resulting image is bootable for all configurations, but produces different
|
|
output in each case.
|
|
|
|
minimal
|
|
-------
|
|
This configuration does NOT produce any output. To observe its operation,
|
|
invoke it using gdb and observe that:
|
|
- the kernel's timer ISR & K_swapper increment "K_LowTime" on a regular basis
|
|
- nano_cpu_idle() is invoked by the idle task each time K_LowTime is incremented
|
|
|
|
regular
|
|
-------
|
|
This configuration prints the following message to the console:
|
|
|
|
Running regular microkernel configuration
|
|
|
|
maximal
|
|
-------
|
|
This configuration prints the following message to the console:
|
|
|
|
Running maximal microkernel configuration
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
Additional notes:
|
|
|
|
Various host utilities (such as the Unix "size" utility) can be used to
|
|
determine the footprint of the resulting outdir/microkernel.elf image.
|