From 71e4f3812982dba2efb471283d310224e8db363e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 3 Mar 2021 22:09:50 -0800 Subject: 7842 - new directory organization Baremetal is now the default build target and therefore has its sources at the top-level. Baremetal programs build using the phase-2 Mu toolchain that requires a Linux kernel. This phase-2 codebase which used to be at the top-level is now under the linux/ directory. Finally, the phase-2 toolchain, while self-hosting, has a way to bootstrap from a C implementation, which is now stored in linux/bootstrap. The bootstrap C implementation uses some literate programming tools that are now in linux/bootstrap/tools. So the whole thing has gotten inverted. Each directory should build one artifact and include the main sources (along with standard library). Tools used for building it are relegated to sub-directories, even though those tools are often useful in their own right, and have had lots of interesting programs written using them. A couple of things have gotten dropped in this process: - I had old ways to run on just a Linux kernel, or with a Soso kernel. No more. - I had some old tooling for running a single test at the cursor. I haven't used that lately. Maybe I'll bring it back one day. The reorg isn't done yet. Still to do: - redo documentation everywhere. All the README files, all other markdown, particularly vocabulary.md. - clean up how-to-run comments at the start of programs everywhere - rethink what to do with the html/ directory. Do we even want to keep supporting it? In spite of these shortcomings, all the scripts at the top-level, linux/ and linux/bootstrap are working. The names of the scripts also feel reasonable. This is a good milestone to take stock at. --- baremetal/400.mu | 82 -------------------------------------------------------- 1 file changed, 82 deletions(-) delete mode 100644 baremetal/400.mu (limited to 'baremetal/400.mu') diff --git a/baremetal/400.mu b/baremetal/400.mu deleted file mode 100644 index 9d0c095f..00000000 --- a/baremetal/400.mu +++ /dev/null @@ -1,82 +0,0 @@ -# screen -sig pixel-on-real-screen x: int, y: int, color: int -sig draw-grapheme-on-real-screen g: grapheme, x: int, y: int, color: int, background-color: int -sig cursor-position-on-real-screen -> _/eax: int, _/ecx: int -sig set-cursor-position-on-real-screen x: int, y: int -sig show-cursor-on-real-screen g: grapheme - -# keyboard -sig read-key kbd: (addr keyboard) -> _/eax: byte - -# tests -sig count-test-failure -sig num-test-failures -> _/eax: int - -sig string-equal? s: (addr array byte), benchmark: (addr array byte) -> _/eax: boolean -sig string-starts-with? s: (addr array byte), benchmark: (addr array byte) -> _/eax: boolean -sig check-strings-equal s: (addr array byte), expected: (addr array byte), msg: (addr array byte) - -# streams -sig clear-stream f: (addr stream _) -sig rewind-stream f: (addr stream _) -sig stream-data-equal? f: (addr stream byte), s: (addr array byte) -> _/eax: boolean -sig check-stream-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte) -sig next-stream-line-equal? f: (addr stream byte), s: (addr array byte) -> _/eax: boolean -sig check-next-stream-line-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte) -sig write f: (addr stream byte), s: (addr array byte) -sig write-stream f: (addr stream byte), s: (addr stream byte) -sig read-byte s: (addr stream byte) -> _/eax: byte -sig append-byte f: (addr stream byte), n: int -#sig to-hex-char in/eax: int -> out/eax: int -sig append-byte-hex f: (addr stream byte), n: int -sig write-int32-hex f: (addr stream byte), n: int -sig write-int32-hex-bits f: (addr stream byte), n: int, bits: int -sig is-hex-int? in: (addr slice) -> _/eax: boolean -sig parse-hex-int in: (addr array byte) -> _/eax: int -sig parse-hex-int-from-slice in: (addr slice) -> _/eax: int -#sig parse-hex-int-helper start: (addr byte), end: (addr byte) -> _/eax: int -sig is-hex-digit? c: byte -> _/eax: boolean -#sig from-hex-char in/eax: byte -> out/eax: nibble -sig parse-decimal-int in: (addr array byte) -> _/eax: int -sig parse-decimal-int-from-slice in: (addr slice) -> _/eax: int -sig parse-decimal-int-from-stream in: (addr stream byte) -> _/eax: int -#sig parse-decimal-int-helper start: (addr byte), end: (addr byte) -> _/eax: int -sig decimal-size n: int -> _/eax: int -#sig allocate ad: (addr allocation-descriptor), n: int, out: (addr handle _) -#sig allocate-raw ad: (addr allocation-descriptor), n: int, out: (addr handle _) -sig lookup h: (handle _T) -> _/eax: (addr _T) -sig handle-equal? a: (handle _T), b: (handle _T) -> _/eax: boolean -sig copy-handle src: (handle _T), dest: (addr handle _T) -#sig allocate-region ad: (addr allocation-descriptor), n: int, out: (addr handle allocation-descriptor) -#sig allocate-array ad: (addr allocation-descriptor), n: int, out: (addr handle _) -sig copy-array ad: (addr allocation-descriptor), src: (addr array _T), out: (addr handle array _T) -#sig zero-out start: (addr byte), size: int -sig slice-empty? s: (addr slice) -> _/eax: boolean -sig slice-equal? s: (addr slice), p: (addr array byte) -> _/eax: boolean -sig slice-starts-with? s: (addr slice), head: (addr array byte) -> _/eax: boolean -sig write-slice out: (addr stream byte), s: (addr slice) -# bad name alert -sig slice-to-string ad: (addr allocation-descriptor), in: (addr slice), out: (addr handle array byte) -sig write-int32-decimal out: (addr stream byte), n: int -sig is-decimal-digit? c: grapheme -> _/eax: boolean -sig to-decimal-digit in: grapheme -> _/eax: int -# bad name alert -# next-word really tokenizes -# next-raw-word really reads whitespace-separated words -sig next-word line: (addr stream byte), out: (addr slice) # skips '#' comments -sig next-raw-word line: (addr stream byte), out: (addr slice) # does not skip '#' comments -sig stream-empty? s: (addr stream _) -> _/eax: boolean -sig stream-full? s: (addr stream _) -> _/eax: boolean -sig stream-to-array in: (addr stream _), out: (addr handle array _) -sig unquote-stream-to-array in: (addr stream _), out: (addr handle array _) -sig stream-first s: (addr stream byte) -> _/eax: byte -sig stream-final s: (addr stream byte) -> _/eax: byte - -#sig copy-bytes src: (addr byte), dest: (addr byte), n: int -sig copy-array-object src: (addr array _), dest-ah: (addr handle array _) -sig array-equal? a: (addr array int), b: (addr array int) -> _/eax: boolean -sig parse-array-of-ints s: (addr array byte), out: (addr handle array int) -sig parse-array-of-decimal-ints s: (addr array byte), out: (addr handle array int) -sig check-array-equal a: (addr array int), expected: (addr string), msg: (addr string) - -sig integer-divide a: int, b: int -> _/eax: int, _/edx: int -- cgit 1.4.1-2-gfad0