|
@@ -18,6 +18,10 @@
|
|
extern void swap_to(int device_id);
|
|
extern void swap_to(int device_id);
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
+#ifdef CONFIG_VIDEO
|
|
|
|
+extern void video_stop(void);
|
|
|
|
+#endif
|
|
|
|
+
|
|
static char *make_command_line(void)
|
|
static char *make_command_line(void)
|
|
{
|
|
{
|
|
char *dest = (char *)CONFIG_LINUX_CMDLINE_ADDR;
|
|
char *dest = (char *)CONFIG_LINUX_CMDLINE_ADDR;
|
|
@@ -45,6 +49,11 @@ int do_bootm_linux(int flag, int argc, char * const argv[], bootm_headers_t *ima
|
|
swap_to(FLASH);
|
|
swap_to(FLASH);
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
+#ifdef CONFIG_VIDEO
|
|
|
|
+ /* maybe this should be standardized and moved to bootm ... */
|
|
|
|
+ video_stop();
|
|
|
|
+#endif
|
|
|
|
+
|
|
appl = (int (*)(char *))images->ep;
|
|
appl = (int (*)(char *))images->ep;
|
|
|
|
|
|
printf("Starting Kernel at = %p\n", appl);
|
|
printf("Starting Kernel at = %p\n", appl);
|