diff options
| author | Andrew Waterman <andrew@sifive.com> | 2017-02-19 15:55:02 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2017-02-19 16:01:48 -0800 |
| commit | 7c4765029820580c0c01b3321fe4310c8416dcb6 (patch) | |
| tree | 24dc412c7a301ba46f9217097290660be734f144 /.gitignore | |
| parent | b14d4187fe1a328b9e87f61a984fd70e17211954 (diff) | |
| download | pk-7c4765029820580c0c01b3321fe4310c8416dcb6.zip pk-7c4765029820580c0c01b3321fe4310c8416dcb6.tar.gz pk-7c4765029820580c0c01b3321fe4310c8416dcb6.tar.bz2 | |
Handle IPIs and timer interrupts more quickly
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions