github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-19 01:44:40 +00:00
Code Issues Projects Releases Wiki Activity

Merge "hello: use ProcessManager-supplied value to setup __sel4_ipc_buffer"

Browse Source 
GitOrigin-RevId: cc80eb54acc4305aa54ce884f25b8577fdae2642
This commit is contained in:
Sam Leffler
2022-08-19 21:05:20 +00:00
parent 831a698120
commit e95c0bebeb
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
apps/c/hello/hello.c
View File

@@ -23,7 +23,10 @@ __attribute__((naked)) void _start() {
".option push \n"
".option norelax \n"
"la gp, __global_pointer$ \n"
"la x4, minisel_tls \n"
"la tp, minisel_tls \n"
"lui t1,0 \n"
"add t1,t1,tp \n"
"sw a0,0(t1) # __sel4_ipc_buffer>\n"
"addi sp,sp,-16 \n"
"sw a0, 12(sp) \n"
"sw a1, 8(sp) \n"
@@ -57,7 +60,9 @@ void minisel_printf(const char *fmt, ...) {
}
int main(int a0, int a1, int a2, int a3) {
minisel_printf("\na0 %x a1 %x a2 %x a3 %x\n", a0, a1, a2, a3);
minisel_printf("\nI am a C app!\n");
minisel_printf("a0 %x a1 %x a2 %x a3 %x\n", a0, a1, a2, a3);
minisel_printf("__sel4_ipc_buffer %x\n", __sel4_ipc_buffer);
minisel_printf("Done, sleeping in WFI loop\n");
while (1) {