Thanks Dougie ...

Can anyone recommend a hex editor for Raspbian ?

interesting tutorial ! is the source code for dexOS available to see how it works with the raspberry pi hardware ?

great tutorial on rpi arm assembler. look forward to your next lessons. please can you cover writing and reading to the gpio port pins and SPI, I2C interfacing if possible. many thanks in advance.