- passed along to the user process in the form of signals, but
- we don't implement signals. Instead, we'll make them simply
- kill the user process.
+ passed along to the user process in the form of signals, as
+ described in [SV-386] 3-24 and 3-25, but we don't implement
+ signals. Instead, we'll make them simply kill the user
+ process.