diff options
| author | Wojtek Kosior <kwojtus@protonmail.com> | 2020-01-18 15:37:43 +0100 |
|---|---|---|
| committer | Wojtek Kosior <kwojtus@protonmail.com> | 2020-01-18 15:37:43 +0100 |
| commit | 26875530836aec74b9bce8d5492c42528cdb34c3 (patch) | |
| tree | c613befceba9fe868352e11e383295143ca52ebc /src | |
| parent | 585ac9243f1c827f91bdba1e837571fc613ca168 (diff) | |
| download | rpi-MMU-example-26875530836aec74b9bce8d5492c42528cdb34c3.tar.gz rpi-MMU-example-26875530836aec74b9bce8d5492c42528cdb34c3.zip | |
fix comment typo in scheduler
Diffstat (limited to 'src')
| -rw-r--r-- | src/arm/PL1/kernel/scheduler.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/arm/PL1/kernel/scheduler.c b/src/arm/PL1/kernel/scheduler.c index af9d05a..1db8078 100644 --- a/src/arm/PL1/kernel/scheduler.c +++ b/src/arm/PL1/kernel/scheduler.c @@ -24,7 +24,7 @@ _Bool waiting_for_input = 0; _Bool waiting_for_output = 0; char waiting_output; -// 0 is kernel code in system mode is being run +// 0 if kernel code in system mode is being run // 1 if our process is being run // later when we have many processes and this will hold process id uint32_t current_process; |