|author||Haowei Wu <email@example.com>||Thu Aug 10 17:03:47 2017 -0700|
|committer||CQ bot account: firstname.lastname@example.org <email@example.com>||Fri Aug 11 22:53:07 2017 +0000|
[doc] Add documentation for static analyzer This patch add static_analysis.md which serves as the documentation of analyze-magenta script with some brief information about MagentaHandleChecker as well. Change-Id: Ie853e9a07cf86cf8a8e9d8bd380c3efa1e837e9e
Magenta is the core platform that powers the Fuchsia OS. Magenta is composed of a microkernel (source in kernel/...) as well as a small set of userspace services, drivers, and libraries (source in system/...) necessary for the system to boot, talk to hardware, load userspace processes and run them, etc. Fuchsia builds a much larger OS on top of this foundation.
The canonical Magenta Git repository is located at: https://fuchsia.googlesource.com/magenta
A read-only mirror of the code is present at: https://github.com/fuchsia-mirror/magenta
The Magenta Kernel provides syscalls to manage processes, threads, virtual memory, inter-process communication, waiting on object state changes, and locking (via futexes).
Currently there are some temporary syscalls that have been used for early bringup work, which will be going away in the future as the long term syscall API/ABI surface is finalized. The expectation is that there will be 10s, not 100s of syscalls.
Magenta syscalls are generally non-blocking. The wait (one, many, set) family of syscalls, ioport reads, and thread sleep being the notable exceptions.
This page is a non-comprehensive index of the magenta documentation.