If you're using the F1 you'll need to change the headers right at the top of the file. I should probably use that and auto-generate modules to access all the on-chip peripherals.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
There's nothing exposed I'm afraid, however there is a file that'll create the relevant JS to access peripheral registers.
If you download the Espruino repository then run this file: https://github.com/espruino/Espruino/blob/master/scripts/build_js_hardware.js
It'll give you a bunch of JS for the peripherals that are defined on this line: https://github.com/espruino/Espruino/blob/master/scripts/build_js_hardware.js#L113
If you're using the F1 you'll need to change the headers right at the top of the file. I should probably use that and auto-generate modules to access all the on-chip peripherals.