axfeat/lib.rs
1//! Top-level feature selection for [ArceOS].
2//!
3//! # Cargo Features
4//!
5//! - CPU
6//! - `smp`: Enable SMP (symmetric multiprocessing) support.
7//! - `fp_simd`: Enable floating point and SIMD support.
8//! - Interrupts:
9//! - `irq`: Enable interrupt handling support.
10//! - Memory
11//! - `alloc`: Enable dynamic memory allocation.
12//! - `alloc-tlsf`: Use the TLSF allocator.
13//! - `alloc-slab`: Use the slab allocator.
14//! - `alloc-buddy`: Use the buddy system allocator.
15//! - `paging`: Enable page table manipulation.
16//! - `tls`: Enable thread-local storage.
17//! - Task management
18//! - `multitask`: Enable multi-threading support.
19//! - `sched_fifo`: Use the FIFO cooperative scheduler.
20//! - `sched_rr`: Use the Round-robin preemptive scheduler.
21//! - `sched_cfs`: Use the Completely Fair Scheduler (CFS) preemptive scheduler.
22//! - Upperlayer stacks (fs, net, display)
23//! - `fs`: Enable file system support.
24//! - `myfs`: Allow users to define their custom filesystems to override the default.
25//! - `net`: Enable networking support.
26//! - `display`: Enable graphics support.
27//! - Device drivers
28//! - `bus-mmio`: Use device tree to probe all MMIO devices.
29//! - `bus-pci`: Use PCI bus to probe all PCI devices.
30//! - `driver-ramdisk`: Use the RAM disk to emulate the block device.
31//! - `driver-ixgbe`: Enable the Intel 82599 10Gbit NIC driver.
32//! - `driver-bcm2835-sdhci`: Enable the BCM2835 SDHCI driver (Raspberry Pi SD card).
33//! - Logging
34//! - `log-level-off`: Disable all logging.
35//! - `log-level-error`, `log-level-warn`, `log-level-info`, `log-level-debug`,
36//! `log-level-trace`: Keep logging only at the specified level or higher.
37//!
38//! [ArceOS]: https://github.com/arceos-org/arceos
39
40#![no_std]