Boot Tock using the NXP LPC55 board. This implies:

• make sure the kernel image has the correct header
• write the correct layout.ld file
• use gdb to stop the execution in the boards main function
• use gdb to make sure the kernel loop runs by placing a breakpoints
• add semixosting dependency and use it as the kernel debugger
• display the panic using semihosting
• write a README.md file explaining all the tools required to upload the kernel image