diff options
| author | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-12-03 14:52:13 +0100 |
|---|---|---|
| committer | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-12-03 14:56:17 +0100 |
| commit | 75fc0bb454b6da14ca42168006af65577fbdfc39 (patch) | |
| tree | f5a8795d11acb83d3204e2fe230fa8631b62fb99 /include | |
| parent | 2eead36f97faf5bdad1abd60a220c0af72a5526c (diff) | |
| download | fbos-75fc0bb454b6da14ca42168006af65577fbdfc39.tar.gz fbos-75fc0bb454b6da14ca42168006af65577fbdfc39.zip | |
Write down the requirement for the Zaamo extension
Since 2eead36f97fa ("Run a hart lottery on SMP") the kernel is making
use of the 'amoadd.w' instruction, which requires the Zaamo
extension (included in the base A extension). This is notable and is
worth a mention on the list of requirements.
Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>
Diffstat (limited to 'include')
| -rw-r--r-- | include/fbos/init.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/fbos/init.h b/include/fbos/init.h index dcffd02..a3cc16f 100644 --- a/include/fbos/init.h +++ b/include/fbos/init.h @@ -11,7 +11,7 @@ // This greatly simplifies the specification and the hardware, but for the // kernel this means that harts will appear randomly. In order to know which // hart runs first, in Linux they run a "lottery": an atomic value holds how -// many harts hav already been seen. The first hart to appear will actually +// many harts have already been seen. The first hart to appear will actually // initialize things before bringing the others up, while the others will simply // wait until the first hart frees the lock for them. // |