copy_and_map_process(&init_process->p_page);
/* kernel bank udata (0x300 bytes) is never used again -- could be reused? */
}
+
+uint8_t platform_param(unsigned char *p)
+{
+ used(p);
+ return 0;
+}
__endasm;
}
-uint8_t platform_param(unsigned char *p)
-{
- used(p);
- return 0;
-}
-
void platform_interrupt(void)
{
switch(irqvector){
ds1302_init();
tty_hw_init();
}
+
+uint8_t platform_param(unsigned char *p)
+{
+ used(p);
+ return 0;
+}
__endasm;
}
-uint8_t platform_param(unsigned char *p)
-{
- used(p);
- return 0;
-}
-
void platform_interrupt(void)
{
switch(irqvector){
devide_init();
#endif
}
+
+uint8_t platform_param(unsigned char *p)
+{
+ used(p);
+ return 0;
+}
__endasm;
}
-uint8_t platform_param(unsigned char *p)
-{
- used(p);
- return 0;
-}
-
void platform_interrupt(void)
{
switch(irqvector) {