diff options
| author | Ada Christine <adachristine18@gmail.com> | 2022-01-16 03:16:37 +0000 |
|---|---|---|
| committer | Ada Christine <adachristine18@gmail.com> | 2022-01-16 03:16:37 +0000 |
| commit | 069a9bfecc4161a1a08b5116a5baf3189d8c0efa (patch) | |
| tree | 19c515ac64168d6e40f6cb3ffefc3de2e488161c /kc | |
| parent | 7b45eb843e968b787b1ec367b41c98585227dbcd (diff) | |
selective optimization
Diffstat (limited to 'kc')
| -rw-r--r-- | kc/core/kprint.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kc/core/kprint.c b/kc/core/kprint.c index 0a15efd..2f4da01 100644 --- a/kc/core/kprint.c +++ b/kc/core/kprint.c @@ -1,11 +1,15 @@ #include "kprint.h" #include "serial.h" +#include <stdarg.h> + +__attribute__((optimize("O3"))) int kputchar(int c) { return serial_putchar(c); } +__attribute__((optimize("O3"))) int kputs(const char *s) { while (*s) |