| 1 | -------------------------------------------------------------------------------- |
|---|---|
| 2 | -- FILE : cubedos.ads |
| 3 | -- SUBJECT: Specification of a package serving as a parent to all of CubedOS. |
| 4 | -- AUTHOR : (C) Copyright 2024 by Vermont State University |
| 5 | -- |
| 6 | -------------------------------------------------------------------------------- |
| 7 | pragma Profile(Jorvik); |
| 8 | pragma Partition_Elaboration_Policy(Sequential); |
| 9 | pragma SPARK_Mode(On); |
| 10 | |
| 11 | package CubedOS is |
| 12 | pragma Pure; |
| 13 | end CubedOS; |