← Back to branch summary

~jsvoboda/helenos/dnsr

« back to all changes in this revision

Viewing changes to kernel/arch/arm32/src/arm32.c

  • Committer: Jiri Svoboda
  • Date: 2013-04-19 18:38:18 UTC
  • mfrom: (1527.1.284 main-clone)
  • Revision ID: jiri@wiwaxia-20130419183818-nvfibuh4t5qol0e3
Merge mainline chages.

Show diffs side-by-side

added added

removed removed

Lines of Context:
kernel/arch/arm32/src/arm32.c
48
48
#include <macros.h>
49
49
#include <str.h>
50
50
#include <arch/ras.h>
 
51
#include <sysinfo/sysinfo.h>
51
52
 
52
53
/** Performs arm32-specific initialization before main_bsp() is called. */
53
54
void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
115
116
void arch_post_smp_init(void)
116
117
{
117
118
        machine_input_init();
 
119
        const char *platform = machine_get_platform_name();
 
120
 
 
121
        sysinfo_set_item_data("platform", NULL, (void *) platform,
 
122
            str_size(platform));
118
123
}
119
124
 
120
125
 
132
137
{
133
138
        uint8_t *stck;
134
139
        
135
 
        stck = &THREAD->kstack[STACK_SIZE - SP_DELTA];
 
140
        stck = &THREAD->kstack[STACK_SIZE];
136
141
        supervisor_sp = (uintptr_t) stck;
137
142
}
138
143