More Readme fixes

pull/143/head
Andre Richter 2 years ago
parent b8227b7e5d
commit ea8ef5a7f1
No known key found for this signature in database
GPG Key ID: 2116C1AB102F615E

@ -239,7 +239,7 @@ of a raw address. The following is an example for the `UART`:
impl PL011Uart {
/// Create an instance.
pub const unsafe fn new(
phys_mmio_descriptor: memory::mmu::MMIODescriptor<Physical>,
mmio_descriptor: memory::mmu::MMIODescriptor,
irq_number: bsp::device_driver::IRQNumber,
) -> Self {
Self {

@ -528,9 +528,7 @@ pub unsafe extern "C" fn _start_rust(
// Turn on the MMU for EL1.
let addr = Address::new(phys_kernel_tables_base_addr as usize);
if unlikely(memory::mmu::enable_mmu_and_caching(addr).is_err()) {
cpu::wait_forever();
}
memory::mmu::enable_mmu_and_caching(addr).unwrap();
// Use `eret` to "return" to EL1. This results in execution of kernel_init() in EL1.
asm::eret()

Loading…
Cancel
Save