portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ia32: Fix linker errors with capDL printing

Browse source 
Although the functions aren't implemented properly, this is a stop gap
issue to prevent the linker from raising problems about missing
references to various platform-specific capDL printing functions.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>
This commit is contained in:
Damon Lee 2021-05-17 15:58:47 +10:00 committed by Damon Lee
parent baad619db3
commit af82abe2ee
2 changed files with 32 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/arch/x86/32/config.cmake
View file

@ -18,6 +18,7 @@ add_sources(
kernel/elf.c
model/statedata.c
machine/registerset.c
machine/capdl.c
smp/ipi.c
ASMFILES machine_asm.S traps.S head.S
)

34
src/arch/x86/32/machine/capdl.c
View file

@ -1,6 +1,6 @@
/*
* Copyright 2021, Axel Heider <axelheider@gmx.de>
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
* Copyright 2021, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: GPL-2.0-or-later
*/
@ -12,11 +12,39 @@
#include <machine/capdl.h>
#include <arch/machine/capdl.h>
word_t get_tcb_sp(tcb_t *tcb)
{
return tcb->tcbArch.tcbContext.registers[ESP];
}
void print_ipc_buffer_slot(tcb_t *tcb)
{
printf("print_ipc_buffer_slot not implemented for IA32\n");
}
void obj_vtable_print_slots(tcb_t *tcb)
{
printf("obj_vtable_print_slots not implemented for IA32\n");
}
void print_cap_arch(cap_t cap)
{
printf("print_cap_arch not implemented for IA32\n");
}
void print_object_arch(cap_t cap)
{
printf("print_object_arch not implemented for IA32\n");
}
void obj_tcb_print_vtable(tcb_t *tcb)
{
printf("obj_tcb_print_vtable not implemented for IA32\n");
}
void debug_capDL(void)
{
#ifdef CONFIG_PRINTING
printf("Debug CapDL snapshot not full implemented for IA32\n");
#endif /* CONFIG_PRINTING */
/* reset the seen list */
reset_seen_list();
}