Alessandro finished
Merge branch 'master' of github.com:leonialessandro90/discovery_kernel

Conflicts:
	src/list.c
	src/list.h
	src/system_main.c
	src/user_main.c