diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-07-05 21:02:52 +0300 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-07-05 21:02:52 +0300 |
| commit | 608f44306a6f0d5692f5c81bcbfe7a621ec254ba (patch) | |
| tree | 72a9f917694be91e4795bd04fddabac8139e1059 /include/arch | |
| parent | bef6a76b602eee8f43c2e7dd65c5bd9cf5d909e4 (diff) | |
| download | kmi-608f44306a6f0d5692f5c81bcbfe7a621ec254ba.tar.gz kmi-608f44306a6f0d5692f5c81bcbfe7a621ec254ba.zip | |
implement bkl
+ Start out using big kernel lock, apparently seL4 thinks its good
enough. I might have a go at using a more fair lock, and possibly
moving to more fine-grained locks if I really feel the need to get
scalability up.
Diffstat (limited to 'include/arch')
| -rw-r--r-- | include/arch/lock.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/arch/lock.h b/include/arch/lock.h index 2a94fbf..ea19585 100644 --- a/include/arch/lock.h +++ b/include/arch/lock.h @@ -11,7 +11,7 @@ #if defined(riscv64) #include "../../arch/riscv64/include/lock.h" -#if defined(riscv32) +#elif defined(riscv32) #include "../../arch/riscv32/include/lock.h" #endif |