add jfvelte kernel source