Some question about libc_start？

[a74731248]

Hi, could you tell me where the libc_start function located? I wanna know how hermitux to execute a user‘s application, could you please give me some help？

[olivierpierre]

Hi, this is where we prepare and perform the jump to the application's entry point:

hermitux-kernel/usr/tests/hermitux.c

Line 132 in 2768639

int main(int argc, char** argv) {

[a74731248]

When vcpu run in hermitux, where is the code to jump to there?

[olivierpierre]

https://github.com/ssrg-vt/hermitux-kernel/blob/master/arch/x86/kernel/entry.asm#L45

[a74731248]

https://github.com/ssrg-vt/hermitux-kernel/blob/master/arch/x86/kernel/entry.asm#L45

_start finally will call the hermit_main and initialize Hermitux , I mean after Hermitux initialization done, how the vcpu jump to application's entry point from Hermitux?