1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
const std = @import("std");
pub fn build(b: *std.Build) void {
// Default to ReleaseSafe because Debug pulls Zig's
// UBSan runtime and other sanitization, which needs
// f128/SSE ops, which i don't provide.
const optimize = b.option(std.builtin.OptimizeMode, "optimize", "optimize mode") orelse .ReleaseSafe;
// The kernel must NOT touch SSE/MMX/AVX until it has
// enabled them itself, so I strip those features and
// let the compiler use a soft-float ABI
// `code_model = .kernel` keeps relocations valid for
// the higher-half load address in boot/linker.ld.
//
// In other words. Going raw baby
var query: std.Target.Query = .{
.cpu_arch = .x86_64,
.os_tag = .freestanding,
.abi = .none,
};
const Feature = std.Target.x86.Feature;
query.cpu_features_sub.addFeature(@intFromEnum(Feature.mmx));
query.cpu_features_sub.addFeature(@intFromEnum(Feature.sse));
query.cpu_features_sub.addFeature(@intFromEnum(Feature.sse2));
query.cpu_features_sub.addFeature(@intFromEnum(Feature.avx));
query.cpu_features_sub.addFeature(@intFromEnum(Feature.avx2));
query.cpu_features_add.addFeature(@intFromEnum(Feature.soft_float));
const target = b.resolveTargetQuery(query);
const kernel = b.addExecutable(.{
.name = "revel",
.root_module = b.createModule(.{
.root_source_file = b.path("boot/boot.zig"),
.target = target,
.optimize = optimize,
.code_model = .kernel,
.red_zone = false,
.single_threaded = true,
.link_libc = false,
}),
});
kernel.entry = .{ .symbol_name = "_start" };
kernel.pie = false;
kernel.setLinkerScript(b.path("boot/linker.ld"));
// the big guns
const revo_dep = b.dependency("revo", .{ .target = target, .optimize = optimize });
const revo_mod = revo_dep.module("revo");
var visited: std.AutoHashMap(*std.Build.Module, void) = .init(b.allocator);
defer visited.deinit();
kernelize(revo_mod, &visited);
// the thin guns
const bridge_mod = b.createModule(.{
.root_source_file = b.path("bridge/bridge.zig"),
.target = target,
.optimize = optimize,
.code_model = .kernel,
.red_zone = false,
.single_threaded = true,
.link_libc = false,
});
bridge_mod.addImport("revo", revo_mod);
inline for (.{
.{ "k_font", "kernel/font.rv" },
.{ "k_console", "kernel/console.rv" },
.{ "k_vmm", "kernel/vmm.rv" },
.{ "k_fs", "kernel/fs.rv" },
.{ "k_proc", "kernel/proc.rv" },
.{ "k_shell", "kernel/shell.rv" },
.{ "k_input", "kernel/input.rv" },
.{ "k_main", "kernel/main.rv" },
}) |e| {
bridge_mod.addAnonymousImport(e[0], .{ .root_source_file = b.path(e[1]) });
}
kernel.root_module.addImport("bridge", bridge_mod);
const cc = b.addSystemCommand(&.{
"zig", "cc",
"-target", "x86_64-freestanding",
"-ffreestanding", "-nostdlib",
"-static", "-no-pie",
"-fno-stack-protector", "-fno-sanitize=all",
"-Wl,-T,user/link.ld", "-Wl,--build-id=none",
"-o",
});
const program_elf = cc.addOutputFileArg("user_program.elf");
cc.addFileArg(b.path("user/program.c"));
kernel.root_module.addAnonymousImport("user_program", .{ .root_source_file = program_elf });
b.installArtifact(kernel);
}
// force a module and everything it imports to the kernel's codegen settings
fn kernelize(mod: *std.Build.Module, visited: *std.AutoHashMap(*std.Build.Module, void)) void {
if (visited.contains(mod)) return;
visited.put(mod, {}) catch @panic("OOM building module graph");
mod.code_model = .kernel;
mod.red_zone = false;
mod.single_threaded = true;
var it = mod.import_table.iterator();
while (it.next()) |entry| kernelize(entry.value_ptr.*, visited);
}
|
