diff --git a/labs/lock.html b/labs/lock.html
index 1278b53..5eddc58 100644
--- a/labs/lock.html
+++ b/labs/lock.html
@@ -72,7 +72,12 @@ workloads.
Some hints:
- - Initially divide the free memory equally among the different CPUs.
+
- You can use the constant NCPU in kernel/param.h
+
- Let freerange give all free memory to the CPU
+ running freerange.
+
- The function cpuid returns the current core, but note
+ that you can use it when interrupts are turned off and so you will
+ need to turn on/off interrupts in your solution.
Run usertests to see if you don't break anything.