@@ -27,9 +27,9 @@ use kernel::platform::{KernelResources, SyscallDriverLookup};
2727use kernel:: process:: Process ;
2828use kernel:: scheduler:: cooperative:: CooperativeSched ;
2929use kernel:: syscall:: SyscallDriver ;
30- use kernel:: { create_capability, static_init, Kernel } ;
3130use kernel:: utilities:: cells:: OptionalCell ;
3231use kernel:: utilities:: slices:: NonEmptyMutableSlice ;
32+ use kernel:: { create_capability, static_init, Kernel } ;
3333
3434use x86:: registers:: bits32:: paging:: { PDEntry , PTEntry , PD , PT } ;
3535use x86:: registers:: irq;
@@ -52,7 +52,8 @@ const NUM_PROCS: usize = 4;
5252
5353// Actual memory for holding the active process structures. Need an empty list
5454// at least.
55- static mut PROCESSES : [ OptionalCell < & ' static dyn Process > ; NUM_PROCS ] = [ const { OptionalCell :: empty ( ) } ; NUM_PROCS ] ;
55+ static mut PROCESSES : [ OptionalCell < & ' static dyn Process > ; NUM_PROCS ] =
56+ [ const { OptionalCell :: empty ( ) } ; NUM_PROCS ] ;
5657
5758// Reference to the chip for panic dumps
5859static mut CHIP : Option < & ' static Pc > = None ;
@@ -174,12 +175,14 @@ unsafe extern "cdecl" fn main() {
174175 use kernel:: memory_management:: pages:: Page4KiB ;
175176 let apps_ram = core:: slice:: from_raw_parts_mut (
176177 ( core:: ptr:: addr_of_mut!( linker:: _sappmem) as usize ) as * mut Page4KiB ,
177- core:: ptr:: addr_of!( linker:: _eappmem) as usize - core:: ptr:: addr_of!( linker:: _sappmem) as usize ,
178+ core:: ptr:: addr_of!( linker:: _eappmem) as usize
179+ - core:: ptr:: addr_of!( linker:: _sappmem) as usize ,
178180 ) ;
179181
180182 // PANIC: the linker script ensures that the RAM region is not empty.
181183 let non_empty_ram_memory = NonEmptyMutableSlice :: new ( apps_ram) . unwrap ( ) ;
182- let physical_ram_memory = kernel:: memory_management:: slices:: MutablePhysicalSlice :: new ( non_empty_ram_memory) ;
184+ let physical_ram_memory =
185+ kernel:: memory_management:: slices:: MutablePhysicalSlice :: new ( non_empty_ram_memory) ;
183186
184187 type RamAllocator = kernel:: memory_management:: allocators:: StaticAllocator < ' static , Page4KiB > ;
185188 let ram_allocator = RamAllocator :: new ( physical_ram_memory) ;
@@ -189,15 +192,39 @@ unsafe extern "cdecl" fn main() {
189192 let physical_kernel_ram_memory = linker:: get_kernel_ram_region ( ) ;
190193 let physical_kernel_peripheral_memory = linker:: get_kernel_peripheral_region ( ) ;
191194
192- let allocated_kernel_rom_memory = kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new ( physical_kernel_rom_memory) ;
193- let allocated_kernel_prog_memory = kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new ( physical_kernel_prog_memory) ;
194- let allocated_kernel_ram_memory = kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new ( physical_kernel_ram_memory) ;
195- let allocated_kernel_peripheral_memory = kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new ( physical_kernel_peripheral_memory) ;
196-
197- let mapped_kernel_rom_memory = kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat ( allocated_kernel_rom_memory) ;
198- let mapped_kernel_prog_memory = kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat ( allocated_kernel_prog_memory) ;
199- let mapped_kernel_ram_memory = kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat ( allocated_kernel_ram_memory) ;
200- let mapped_kernel_peripheral_memory = kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat ( allocated_kernel_peripheral_memory) ;
195+ let allocated_kernel_rom_memory =
196+ kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new (
197+ physical_kernel_rom_memory,
198+ ) ;
199+ let allocated_kernel_prog_memory =
200+ kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new (
201+ physical_kernel_prog_memory,
202+ ) ;
203+ let allocated_kernel_ram_memory =
204+ kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new (
205+ physical_kernel_ram_memory,
206+ ) ;
207+ let allocated_kernel_peripheral_memory =
208+ kernel:: memory_management:: regions:: PhysicalAllocatedRegion :: new (
209+ physical_kernel_peripheral_memory,
210+ ) ;
211+
212+ let mapped_kernel_rom_memory =
213+ kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat (
214+ allocated_kernel_rom_memory,
215+ ) ;
216+ let mapped_kernel_prog_memory =
217+ kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat (
218+ allocated_kernel_prog_memory,
219+ ) ;
220+ let mapped_kernel_ram_memory =
221+ kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat (
222+ allocated_kernel_ram_memory,
223+ ) ;
224+ let mapped_kernel_peripheral_memory =
225+ kernel:: memory_management:: regions:: MappedAllocatedRegion :: new_flat (
226+ allocated_kernel_peripheral_memory,
227+ ) ;
201228
202229 // Create a board kernel instance
203230 let board_kernel = static_init ! (
0 commit comments