From 83e17e29456ec9b6d45f4d9f2634eb280c6f414f Mon Sep 17 00:00:00 2001 From: stefan Date: Wed, 19 Apr 2023 20:50:10 -0400 Subject: ticket locks --- sys/kern/kernel.lds | 58 ----------------------------------------------------- 1 file changed, 58 deletions(-) delete mode 100644 sys/kern/kernel.lds (limited to 'sys/kern/kernel.lds') diff --git a/sys/kern/kernel.lds b/sys/kern/kernel.lds deleted file mode 100644 index 2e2fe29..0000000 --- a/sys/kern/kernel.lds +++ /dev/null @@ -1,58 +0,0 @@ -OUTPUT_ARCH(riscv) -ENTRY(_start) - -SECTIONS -{ - . = LOAD_ADDR; - . = ALIGN(PAGE_SIZE); - - .text : - { - PROVIDE(__text_start = .); - *(.text.init) - *(.text .text.*) - . = ALIGN(8); - PROVIDE(__text_end = .); - } - . = ALIGN(PAGE_SIZE); - - PROVIDE(__global_pointer$ = .); - - .rodata : - { - PROVIDE(__rodata_start = .); - *(.rodata .rodata.*) - . = ALIGN(8); - PROVIDE(__rodata_end = .); - } - - . = ALIGN(PAGE_SIZE); - - .data : - { - PROVIDE(__data_start = .); - *(.sdata .sdata.*) - *(.data .data.*) - *(.readmostly.data) - *(*.data) - . = ALIGN(8); - PROVIDE(__data_end = .); - } - - . = ALIGN(PAGE_SIZE); - - .bss : - { - PROVIDE(__bss_start = .); - *(.sbss .sbss.*) - *(.bss .bss.*) - . = ALIGN(8); - PROVIDE(__bss_end = .); - } - - . = ALIGN(PAGE_SIZE); - - PROVIDE(__stack_start = .); - PROVIDE(__stack_end = __stack_start + (PAGE_SIZE * NPROC)); - PROVIDE(__heap_start = __stack_end); -} -- cgit v1.2.3