Long description

Line 1: char asterisk k addr equals. Note: slash slash a kernel address

Line 2: reg 0 equals k addr OpenSquareBracket 0 CloseSquareBracket note: slash slash read byte from kernel address: not allowed

Line 3: reg 1 equals array OpenSquareBracket reg 0 asterisk 4096 CloseSquareBracket note: slash slash (transiently) use the value as an index.