metta-systems
/
vesper
1
1
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

[sq] Fix copyrights

This commit is contained in:
Berkus Decker 2020-12-29 16:17:38 +02:00
parent dda2c2a4ca
commit 0fa4f3bc4e
55 changed files with 77 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
nucleus/src/api.rs
View File

@ -1,3 +1,8 @@
/*
* SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/
// Syscalls (kernel API) // Syscalls (kernel API)
trait API { trait API {
fn send(cap: Cap, msg_info: MessageInfo); fn send(cap: Cap, msg_info: MessageInfo);

2
nucleus/src/arch/aarch64/boot.rs
View File

@ -1,8 +1,8 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
* *
* Based on ideas from Jorge Aparicio, Andre Richter, Phil Oppenheimer, Sergio Benitez. * Based on ideas from Jorge Aparicio, Andre Richter, Phil Oppenheimer, Sergio Benitez.
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
//! Low-level boot of the Raspberry's processor //! Low-level boot of the Raspberry's processor

1
nucleus/src/arch/aarch64/caps/asid_control_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/arch/aarch64/caps/asid_pool_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/arch/aarch64/caps/frame.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/arch/aarch64/caps/mod.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
//! AArch64-specific capabilities. //! AArch64-specific capabilities.

1
nucleus/src/arch/aarch64/caps/page_directory_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/arch/aarch64/caps/page_global_directory_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/arch/aarch64/caps/page_table_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/arch/aarch64/caps/page_upper_directory_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

5
nucleus/src/arch/aarch64/jtag.rs
View File

@ -1,3 +1,8 @@
/*
* SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/
//! JTAG helper functions. //! JTAG helper functions.
use cortex_a::asm; use cortex_a::asm;

5
nucleus/src/arch/aarch64/memory/addr/mod.rs
View File

@ -1,3 +1,8 @@
/*
* SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/
mod phys_addr; mod phys_addr;
mod virt_addr; mod virt_addr;

1
nucleus/src/arch/aarch64/memory/cache.rs
View File

@ -1,3 +1,4 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */

1
nucleus/src/arch/aarch64/objects/asid_control.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// implemented for x86 and arm // implemented for x86 and arm

1
nucleus/src/arch/aarch64/objects/asid_pool.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// implemented for x86 and arm // implemented for x86 and arm

1
nucleus/src/arch/aarch64/objects/mod.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
mod asid_control; mod asid_control;

1
nucleus/src/arch/aarch64/objects/page.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
struct Page {} struct Page {}

1
nucleus/src/arch/aarch64/objects/page_directory.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// probably just impl some Mapping trait for these "structs"? // probably just impl some Mapping trait for these "structs"?

1
nucleus/src/arch/aarch64/objects/page_global_directory.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// L0 table // L0 table

1
nucleus/src/arch/aarch64/objects/page_table.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// L3 tables // L3 tables

1
nucleus/src/arch/aarch64/objects/page_upper_directory.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// L1 table // L1 table

1
nucleus/src/caps/capnode_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/captable.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use crate::caps::Capability; use crate::caps::Capability;

1
nucleus/src/caps/derivation_tree.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
//! DerivationTree nodes record the tree of inheritance for caps: //! DerivationTree nodes record the tree of inheritance for caps:

1
nucleus/src/caps/domain_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/endpoint_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/irq_control_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/irq_handler_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/mod.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
//! Implementation of system capabilities. //! Implementation of system capabilities.

1
nucleus/src/caps/notification_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
//! @todo replace with Event //! @todo replace with Event

1
nucleus/src/caps/null_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/reply_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/resume_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/thread_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/untyped_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/caps/zombie_cap.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {

1
nucleus/src/devices/console.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
#![allow(dead_code)] #![allow(dead_code)]

2
nucleus/src/devices/mod.rs
View File

@ -1,6 +1,8 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
pub mod console; pub mod console;
pub use console::{Console, ConsoleOps}; pub use console::{Console, ConsoleOps};

1
nucleus/src/objects/capnode.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
struct CapNode {} struct CapNode {}

1
nucleus/src/objects/endpoint.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
register_bitfields! { register_bitfields! {

1
nucleus/src/objects/irq_control.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
trait IRQControl { trait IRQControl {

1
nucleus/src/objects/irq_handler.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
trait IRQHandler { trait IRQHandler {

1
nucleus/src/objects/kernel_object.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
pub(crate) trait KernelObject { pub(crate) trait KernelObject {

1
nucleus/src/objects/mod.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// The basic services Vesper provides are as follows: // The basic services Vesper provides are as follows:

1
nucleus/src/objects/notification.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
// @todo replace with Event // @todo replace with Event

1
nucleus/src/objects/thread.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
struct Thread {} struct Thread {}

1
nucleus/src/objects/untyped.rs
View File

@ -1,5 +1,6 @@
/* /*
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
pub(crate) struct Untyped {} pub(crate) struct Untyped {}

5
nucleus/src/panic.rs
View File

@ -1,3 +1,8 @@
/*
* SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/
#[cfg(not(test))] #[cfg(not(test))]
#[panic_handler] #[panic_handler]
fn panicked(info: &core::panic::PanicInfo) -> ! { fn panicked(info: &core::panic::PanicInfo) -> ! {

1
nucleus/src/platform/mod.rs
View File

@ -2,4 +2,5 @@
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems> * Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
pub mod rpi3; pub mod rpi3;

1
nucleus/src/platform/rpi3/display.rs
View File

@ -2,6 +2,7 @@
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems> * Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use snafu::Snafu; use snafu::Snafu;
/* Character cells are 8x8 */ /* Character cells are 8x8 */

5
nucleus/src/platform/rpi3/fb.rs
View File

@ -1,3 +1,8 @@
/*
* SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/
use { use {
super::{ super::{
mailbox::{channel, read, write, MailboxOps, RegisterBlock, Result}, mailbox::{channel, read, write, MailboxOps, RegisterBlock, Result},

1
nucleus/src/platform/rpi3/vc.rs
View File

@ -2,6 +2,7 @@
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems> * Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
use { use {
super::{ super::{
display::{Display, PixelOrder, CHARSIZE_X, CHARSIZE_Y}, display::{Display, PixelOrder, CHARSIZE_X, CHARSIZE_Y},

1
nucleus/src/qemu.rs
View File

@ -2,6 +2,7 @@
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems> * Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
pub mod semihosting { pub mod semihosting {
pub fn exit_success() -> ! { pub fn exit_success() -> ! {
use qemu_exit::QEMUExit; use qemu_exit::QEMUExit;

1
nucleus/src/sync.rs
View File

@ -1,6 +1,7 @@
/* /*
* SPDX-License-Identifier: MIT OR BlueOak-1.0.0 * SPDX-License-Identifier: MIT OR BlueOak-1.0.0
* Copyright (c) 2019 Andre Richter <andre.o.richter@gmail.com> * Copyright (c) 2019 Andre Richter <andre.o.richter@gmail.com>
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
* Original code distributed under MIT, additional changes are under BlueOak-1.0.0 * Original code distributed under MIT, additional changes are under BlueOak-1.0.0
*/ */

2
nucleus/src/tests.rs
View File

@ -2,9 +2,11 @@
* SPDX-License-Identifier: BlueOak-1.0.0 * SPDX-License-Identifier: BlueOak-1.0.0
* Copyright (c) Berkus Decker <berkus+vesper@metta.systems> * Copyright (c) Berkus Decker <berkus+vesper@metta.systems>
*/ */
//============================================================================ //============================================================================
// Testing environment // Testing environment
//============================================================================ //============================================================================
use crate::{print, println, qemu}; use crate::{print, println, qemu};
pub trait TestFn { pub trait TestFn {